Buy Used and New Mathematical Logic Books

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

by Ulrich Kohlenbach

ISBN 13: 9783540775324

Format: Hardcover (556 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming

by Christopher John Hogger,D. M. Gabbay,C. Hogger

ISBN 13: 9780198537922

Format: Illustrated (816 pages)
Publisher: OUP Oxford
Published: 08 Jan 1998

Save for later

Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)

by Ian Stewart

ISBN 13: 9780486458847

Format: Illustrated (208 pages)
Publisher: Dover Publications Inc
Published: 12 May 2007
Other Format: Paperback

Save for later

Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series)

by Mikhail J. Atallah, Marina Blanton

ISBN 13: 9781584888208

Format: Illustrated (950 pages)
Publisher: Chapman and Hall/CRC
Published: 20 Nov 2009

Save for later

Naive Set Theory (Undergraduate Texts in Mathematics)

by P. R. Halmos

ISBN 13: 9780387900926

Format: Hardcover (111 pages)
Publisher: Springer
Published: 24 Oct 1974

Save for later

Mathematical Logic (Undergraduate Texts in Mathematics)

by H.-D. Ebbinghaus,J. Flum,W. Thomas

ISBN 13: 9780387942582

Format: Illustrated (308 pages)
Publisher: Springer
Published: 01 Dec 1996

Save for later

Logic from Russell to Church: 5 (Handbook of the History of Logic)

by Gabbay

ISBN 13: 9780444516206

Format: Hardcover (950 pages)
Publisher: North Holland
Published: 17 Jun 2009

Save for later

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

by Torkel Franzén

ISBN 13: 9781568812380

Format: Paperback (182 pages)
Publisher: Routledge
Published: 06 Jun 2005

Save for later

Referential Opacity and Modal Logic (Studies in Philosophy)

by N/A

ISBN 13: 9780415998444

Format: Paperback (200 pages)
Publisher: Routledge
Published: 07 Dec 2009

Save for later

Intermediate Logic

by David Bostock

ISBN 13: 9780198751427

Format: Paperback (404 pages)
Publisher: Oxford University Press, USA
Published: 09 Oct 1997

Save for later

Category Theory (Oxford Logic Guides)

by N/A

ISBN 13: 9780199237180

Format: Paperback (320 pages)
Publisher: OUP Oxford
Published: 17 Jun 2010

Save for later

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936: Publications 1929-1936 Vol 1 (Collected Works (Oxford))

by N/A

ISBN 13: 9780195147209

Format: Paperback (504 pages)
Publisher: OUP USA
Published: 05 Jul 2001
Other Format: Illustrated

Save for later