Herausgegeben von Howard Barringer, Herausgegeben von Michael Fisher, Herausgegeben von Dov M. Gabbay, Herausgegeben von Graham Gough
Titel
Advances in Temporal Logic
Beschreibung
Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, fr ...mehr
Verlag
Springer Netherland
Erscheinungsdatum
11.11.2013
ISBN/EAN
978-94-015-9586-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
149,79 €
Autor
Michael Holz, Klaus-Peter Podewski, Karsten Steffens
Gödel's true-but-unprovable sentence from the first incompleteness theorem is purely logical in nature, i.e. not mathematically natural or interesting. An interesting problem is to find mathematicall ...mehr
Yu. I. Manin, Übersetzt von Neal Koblitz, Beiträge von B. Zilber
Titel
A Course in Mathematical Logic for Mathematicians
Beschreibung
1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In the intervening three decades, a lot of i ...mehr
“Dass deutsche Historiker auch elegant und fesselnd schreiben können, beweist Volker Ullrich. Spannender als mancher Krimi.” Martin Doerry, SPIEGEL Plus