Alan Turing's Systems of Logic: The Princeton Thesis
Alan Turing's Systems of Logic: The Princeton Thesis
Andrew W. Appel
Details
OL Work ID
OL19905772W
Subjects
Logic, symbolic and mathematical
Find this book
Open Library