This site is new and actively being built — the work of a solo indie developer. Some data is still being populated and improved. Learn more →
Mathematics, Models, and Modality
2008
Computability and logic
1974
George Boolos
1 shared
George S. Boolos
Richard C. Jeffrey
author
