Buy Used and New Mathematical Foundations Books

Perspectives on the History of Mathematical Logic (Modern Birkhäuser Classics)

by

ISBN 13: 9780817647681

Format: Paperback (222 pages)
Publisher: Birkhauser
Published: 25 Jan 2008

Save for later

Around Classification Theory of Models (Lecture Notes in Mathematics)

by Saharon Shelah

ISBN 13: 9783540164487

Format: Paperback (279 pages)
Publisher: Springer
Published: 01 Apr 1986

Save for later

Concept Lattices and Their Applications: Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540789208

Format: Paperback (283 pages)
Publisher: Springer
Published: 28 Mar 2008

Save for later

Laws of Form

by George Spencer-Brown

ISBN 13: 9783890943213

Format: Paperback (202 pages)
Publisher: Bohmeier, Joh.
Published: Jan 2004

Save for later

Deduction, Computation, Experiment: Exploring the Effectiveness of Proof

by

ISBN 13: 9788847007833

Format: Paperback (280 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540744634

Format: Paperback (269 pages)
Publisher: Springer
Published: 01 Oct 2007

Save for later

Completeness Theory for Propositional Logics (Studies in Universal Logic)

by Witold A. Pogorzelski,Piotr Wojtylak

ISBN 13: 9783764385170

Format: Paperback (178 pages)
Publisher: Birkhauser
Published: 17 Apr 2008

Save for later

Logic for Computer Scientists (Modern Birkhäuser Classics)

by Uwe Schöning

ISBN 13: 9780817647629

Format: Paperback (166 pages)
Publisher: Birkhauser
Published: 25 Jan 2008

Save for later

Institution-independent Model Theory (Studies in Universal Logic)

by Razvan Diaconescu

ISBN 13: 9783764387075

Format: Paperback (387 pages)
Publisher: Birkhauser
Published: 16 May 2008

Save for later

Constraint-Programmierung: Grundlagen Und Anwendungen (Springer-Lehrbuch)

by Thom Frühwirth,Slim Abdennadher

ISBN 13: 9783540606703

Format: Paperback (176 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Operator Algebras Generated by Commuting Projections: A Vector Measure Approach (Lecture Notes in Mathematics)

by Werner Ricker

ISBN 13: 9783540664611

Format: Paperback (159 pages)
Publisher: Springer
Published: 17 Sep 1999

Save for later

Fundamentals of Mathematical Logic

by Peter G. Hinman

ISBN 13: 9781568812625

Format: Hardcover (896 pages)
Publisher: A K Peters/CRC Press
Published: 09 Sep 2005

Save for later