Buy Used and New Mathematical Logic Books

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

The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition

by Bernard Linsky

ISBN 13: 9781107003279

Format: Hardcover (418 pages)
Publisher: Cambridge University Press
Published: 09 Jun 2011

Save for later

Visual Cryptography and Secret Image Sharing (Digital Imaging and Computer Vision)

by

ISBN 13: 9781439837214

Format: Hardcover (545 pages)
Publisher: CRC Press
Published: 16 Sep 2011

Save for later

Fuzzy-Neuro Approach to Agent Applications: From the AI Perspective to Modern Ontology (Springer Series on Agent Technology)

by Raymond S.T. Lee

ISBN 13: 9783540212034

Format: Hardcover (350 pages)
Publisher: Springer
Published: 18 Nov 2005

Save for later

Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)

by J. Flum, M. Grohe

ISBN 13: 9783540299523

Format: Hardcover (507 pages)
Publisher: Springer
Published: 09 Feb 2006

Save for later

Architecture of Systems Problem Solving (IFSR International Series on Systems Science and Engineering)

by George J. Klir, Doug Elias

ISBN 13: 9780306473579

Format: Hardcover (354 pages)
Publisher: Springer
Published: 31 Jan 2003

Save for later

Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)

by Deborah Nolan,Terry P. Speed

ISBN 13: 9780387989747

Format: Illustrated (301 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Completeness and Reduction in Algebraic Complexity Theory (Algorithms and Computation in Mathematics): 7

by Peter Bürgisser

ISBN 13: 9783540667520

Format: Illustrated (186 pages)
Publisher: Springer
Published: 21 Jun 2000

Save for later

Categories for Types (Cambridge Mathematical Textbooks)

by Crole

ISBN 13: 9780521457019

Format: Paperback (356 pages)
Publisher: Cambridge University Press
Published: 27 Jan 1994

Save for later

Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)

by Wilfrid Hodges

ISBN 13: 9780521066365

Format: Illustrated (788 pages)
Publisher: Cambridge University Press
Published: 19 Jun 2008

Save for later

First-order Logic (Dover Books on MaTHEMA 1.4tics)

by Raymond M. Smullyan

ISBN 13: 9780486683706

Format: Paperback (176 pages)
Publisher: Dover Publications Inc
Published: 01 Apr 1995

Save for later