3 Ergebnisse für: axiomatizable
-
UZH - Institut für Bildungsevaluation - Joel Adler
http://www.ibe.uzh.ch/aboutus/team/adler.html
Keine Beschreibung vorhanden.
-
A hierarchy of formulas in set theory - Azriel Lévy - Google Books
http://books.google.de/books?id=dy4ZAQAAIAAJ&q=azriel
Keine Beschreibung vorhanden.
-
Gödel's Theorem in Focus - Google Books
https://books.google.de/books?id=TauDhqe5neIC&lpg=PA85
Beginning with a short biography of Kurt Gödel, 'Gödel's Theorem in Focus' provides the reader with a clear guide to the mechanics of Gödel's proof in a format intelligible to the non-mathematician. The book moves on to explanations of the mechanics of…