Alan Turing's Systems of Logic: The Princeton Thesis

Andrew W. Appel [editor]

Published: Jul 26, 2023