Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic)
by
ISBN 13: 9780521115148
Format: Hardcover (376 pages) Publisher: Cambridge University Press Published: 19 Apr 2010
Save for later
Subsystems of Second Order Arithmetic (Perspectives in Logic)
by Stephen G. Simpson
ISBN 13: 9780521884396
Format: Hardcover (464 pages) Publisher: Cambridge University Press Published: 29 May 2009
ISBN 13: 9780521150149
Format: Paperback (464 pages) Publisher: Cambridge University Press Published: 18 Feb 2010 Other Format: Hardcover