Alan Turing's Systems of Logic: The Princeton Thesis
Publisher: Princeton University Press
Published: Nov 16, 2014
Number of pages: 160
ISBN-13: 9780691164731