Buy Used and New Mathematical Logic Books

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

Save for later

The Reason's Proper Study: Essays towards a Neo-Fregean Philosophy of Mathematics

by Bob Hale,Crispin Wright

ISBN 13: 9780199266326

Format: Paperback (470 pages)
Publisher: Clarendon Press
Published: 13 Nov 2003

Save for later

Kurt Gödel: Collected Works: Volume II: Publications 1938-1974: Publications 1938-1974 Vol 2 (Collected Works (Oxford))

by Kurt Gödel

ISBN 13: 9780195147216

Format: Paperback (432 pages)
Publisher: OUP USA
Published: 16 Aug 2001

Save for later

Theorie DES Ensembles: Éléments de Mathématique

by N Bourbaki

ISBN 13: 9783540340348

Format: Paperback (250 pages)
Publisher: Springer
Published: 01 Sep 2006

Save for later

Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises: ... Calculus, Completeness Theorems Pt.1

by René Cori,Daniel Lascar

ISBN 13: 9780198500483

Format: Paperback (360 pages)
Publisher: OUP Oxford
Published: 07 Sep 2000

Save for later

Elementary Categories, Elementary Toposes (Oxford Logic Guides)

by Colin McLarty

ISBN 13: 9780198514732

Format: Paperback (280 pages)
Publisher: Clarendon Press
Published: 27 Apr 1995

Save for later

Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))

by Kurt Gödel

ISBN 13: 9780195147223

Format: Paperback (560 pages)
Publisher: OUP USA
Published: 28 Jun 2001

Save for later

Access Control, Security and Trust: A Logical Approach (Chapman & Hall/CRC Cryptography and Network Security Series)

by Shiu-Kai Chin,Susan Beth Older

ISBN 13: 9781584888628

Format: Hardcover (351 pages)
Publisher: Chapman and Hall/CRC
Published: 03 Aug 2010

Save for later

Alfred Tarski: Life and Logic (Cambridge Concise Histories)

by Anita Burdman Feferman,Solomon Feferman

ISBN 13: 9780521714013

Format: Paperback (432 pages)
Publisher: Cambridge University Press
Published: 07 Apr 2008

Save for later

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

by Robert Goldblatt

ISBN 13: 9780486450261

Format: Paperback (576 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)

by Antoine Joux

ISBN 13: 9781420070026

Format: Hardcover (519 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Jun 2009

Save for later

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later