C. Smoryński

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.