Craig Smoryński
Die Suchergebnisse bei Legimi sind auf die vom Nutzer angegebenen Suchkriterien zugeschnitten. Wir versuchen Titel, die für unsere Nutzer von besonderem Interesse sein könnten, durch die Bezeichnung "Bestseller" oder "Neuheit" hervorzuheben. Titel in der Liste der Suchergebnisse können auch sortiert werden - die Sortierauswahl hat Vorrang vor anderen Ergebnissen."

Kategorien

Keine Suchergebnisse

Craig Smoryński got his PhD at the University of Illinois at Chicago Circle with a dissertation on Kripke models for intuitionistic systems. This served as good background when he got involved in the birth and early development of provability logic, publishing the first mathematical textbook on the subject ( Self-Reference and Modal Logic, Springer, 1985). He has written a number of books on mathematics and its history, most notably Logical Number Theory (Springer, 1991), Adventures in Formalism (College Publications, 2012), and MVT: A Most Valuable Theorem (Springer, 2017). In addition, he has contributed chapters to the Handbook of Mathematical Logic and the Handbook of Philosophical Logic.