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 →
John P. Burgess
1 shared
George Boolos
George S. Boolos
Computability and logic
author
1974
