Craig Smorynski

• History of mathematics
• Logical Number Theory I
• MVT
• Logical Number Theory I (Universitext)
• Logical Number Theory II (Universitext)
• Metamathematics of Arithmetic II (Universitext)
• Self-Reference and Modal Logic