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.

“The author discusses, with illustrative quotes, problems with a long history that contributed to the development of mathematical areas. … provides exercises and investigations for the reader.” (E. J. Barbeau, Mathematical Reviews, February, 2022)

• 1 Introduction.- 2 Logic Puzzles.- 3 Some Basic Mathematical Exercises.- 4 Probability.- 5 Graph Theory.- A Further Explorations.- Index.

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.

“The author discusses, with illustrative quotes, problems with a long history that contributed to the development of mathematical areas. … provides exercises and investigations for the reader.” (E. J. Barbeau, Mathematical Reviews, February, 2022)

• 1 Introduction.- 2 Logic Puzzles.- 3 Some Basic Mathematical Exercises.- 4 Probability.- 5 Graph Theory.- A Further Explorations.- Index.

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.

“The author discusses, with illustrative quotes, problems with a long history that contributed to the development of mathematical areas. … provides exercises and investigations for the reader.” (E. J. Barbeau, Mathematical Reviews, February, 2022)

• 1 Introduction.- 2 Logic Puzzles.- 3 Some Basic Mathematical Exercises.- 4 Probability.- 5 Graph Theory.- A Further Explorations.- Index.