Buy Used and New Mathematical Foundations Books

Stone Spaces: 3 (Cambridge Studies in Advanced Mathematics, Series Number 3)

by Peter T. Johnstone

ISBN 13: 9780521337793

Format: Paperback (396 pages)
Publisher: Cambridge University Press
Published: 14 Aug 1986

Save for later

Logical Frameworks for Truth and Abstraction,135: An Axiomatic Study: Volume 135 (Studies in Logic and the Foundations of Mathematics)

by A. Cantini

ISBN 13: 9780444823069

Format: Illustrated (250 pages)
Publisher: Elsevier
Published: 14 Mar 1996

Save for later

Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series)

by Manfred Droste,Werner Kuich,Heiko Vogler

ISBN 13: 9783642014918

Format: Illustrated (628 pages)
Publisher: Springer
Published: 28 Sep 2009

Save for later

Diamond: A Paradox Logic (2Nd Edition): Volume 23 (Series on Knots & Everything)

by Nathaniel S Hellerstein

ISBN 13: 9789814287135

Format: Illustrated (312 pages)
Publisher: Wspc
Published: 26 Jan 2010

Save for later

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)

by Shawn Hedman

ISBN 13: 9780198529811

Format: Illustrated (452 pages)
Publisher: OUP Oxford
Published: 08 Jul 2004

Save for later

Quantum Groups: A Path To Current Algebra: 19 (Australian Mathematical Society Lecture Series, Series Number 19)

by Ross Street

ISBN 13: 9780521695244

Format: Illustrated (160 pages)
Publisher: Cambridge University Press
Published: 18 Jan 2007

Save for later

Logical Foundations of Proof Complexity (Perspectives in Logic)

by Stephen Cook,Phuong Nguyen

ISBN 13: 9780521517294

Format: Illustrated (496 pages)
Publisher: Cambridge University Press
Published: 25 Jan 2010

Save for later

An Introduction to Non-Classical Logic, Second Edition: From If to Is (Cambridge Introductions to Philosophy)

by Graham Priest

ISBN 13: 9780521670265

Format: Paperback (646 pages)
Publisher: Cambridge University Press
Published: 10 Apr 2008

Save for later

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

by J. Roger Hindley

ISBN 13: 9780521465182

Format: Hardcover (200 pages)
Publisher: Cambridge University Press
Published: 31 Jul 1997

Save for later

Automated Theorem Proving: Theory and Practice

by Monty Newborn

ISBN 13: 9780387950754

Format: Hardcover (231 pages)
Publisher: Springer
Published: 01 Jan 2001

Save for later

Theorie Und Numerik Restringierter Optimierungsaufgaben (Springer-Lehrbuch Masterclass)

by Carl Geiger,Christian Kanzow

ISBN 13: 9783540427902

Format: Paperback (487 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 06 Mar 2002

Save for later

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540412854

Format: Paperback (487 pages)
Publisher: Springer
Published: 23 Oct 2000

Save for later