Buy Used and New Mathematical Logic Books

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

A Framework for Priority Arguments (Lecture Notes in Logic)

by Manuel Lerman

ISBN 13: 9780521119696

Format: Hardcover (176 pages)
Publisher: Cambridge University Press
Published: 19 Apr 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

Stable Domination and Independence in Algebraically Closed Valued Fields (Lecture Notes in Logic)

by Deirdre Haskell,Ehud Hrushovski,Dugald Macpherson

ISBN 13: 9780521889810

Format: Hardcover (194 pages)
Publisher: Cambridge University Press
Published: 10 Dec 2007

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

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

by Alan P. Parkes

ISBN 13: 9781852334642

Format: Paperback (304 pages)
Publisher: Springer
Published: 26 Apr 2002

Save for later

The Incompleteness Phenomenon

by Martin Goldstern,Haim Judah

ISBN 13: 9781568810294

Format: Hardcover (218 pages)
Publisher: A K Peters/CRC Press
Published: 15 Jun 1995

Save for later

Inconsistent Geometry

by Chris Mortensen

ISBN 13: 9781848900226

Format: Paperback (174 pages)
Publisher: College Publications
Published: 15 Oct 2010

Save for later

Boolean Functions: Theory, Algorithms, and Applications (Encyclopedia of Mathematics and its Applications)

by Yves Crama,Peter L. Hammer

ISBN 13: 9780521847513

Format: Hardcover (706 pages)
Publisher: Cambridge University Press
Published: 16 May 2011
Other Format: Hardcover

Save for later

Nonstandard Analysis, Axiomatically (Springer Monographs in Mathematics)

by Vladimir Kanovei,Michael Reeken

ISBN 13: 9783540222439

Format: Hardcover (424 pages)
Publisher: Springer
Published: 11 Aug 2004

Save for later

Formal Engineering for Industrial Software Development: Using the SOFL Method

by Shaoying Liu

ISBN 13: 9783540206026

Format: Hardcover (400 pages)
Publisher: Springer
Published: 13 Apr 2004

Save for later