Metamaths, Machines & Godel's Proof (Cambridge Tracts in Theoretical Computer Science)

by N. Shankar Paperback details (United Kingdom). ISBN: 978-0-521-58533-0 ISBN-10: 0-521-58533-3 Cambridge University Press · 2008