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
Richard C. Jeffrey
Computability and logic
author
1974
