Buy Used and New Mathematical Logic Books

Methods of Cut-Elimination (Trends in Logic)

by Matthias Baaz,Alexander Leitsch

ISBN 13: 9789400703193

Format: Hardcover (293 pages)
Publisher: Springer
Published: 17 Jan 2011

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

Multi-Criteria Decision Making Methods: A Comparative Study (Applied Optimization)

by Evangelos Triantaphyllou

ISBN 13: 9781441948380

Format: Paperback (324 pages)
Publisher: Springer
Published: 08 Dec 2010

Save for later

Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers: 14th International Conference, FG ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642201684

Format: Paperback (224 pages)
Publisher: Springer
Published: 06 Apr 2011

Save for later

Classical Recursion Theory, Volume II: Vol 2 (Studies in Logic and the Foundations of Mathematics)

by P. Odifreddi

ISBN 13: 9780444502056

Format: Hardcover (966 pages)
Publisher: North Holland
Published: 07 Sep 1999

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

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

by

ISBN 13: 9780521761444

Format: Hardcover (544 pages)
Publisher: Cambridge University Press
Published: 06 Jun 2011

Save for later

The Many Valued and Nonmonotonic Turn in Logic: 8 (Handbook of the History of Logic)

by

ISBN 13: 9780444516237

Format: Hardcover (690 pages)
Publisher: North Holland
Published: 06 Jul 2007

Save for later

Algebra, Logic, Set Theory: Festscrift Fur Ulrich Felgner Zum 65. Geburtstag (Studies in Logic (logic & Cognitive Systems))

by

ISBN 13: 9781904987284

Format: Hardcover (324 pages)
Publisher: College Publications
Published: 01 Jan 2007

Save for later

Lectures on Petri Nets II: Applications: Advances in Petri Nets: Applications v. 2 (Lecture Notes in Computer Science)

by

ISBN 13: 9783540653073

Format: Paperback (490 pages)
Publisher: Springer
Published: 04 Nov 1998

Save for later

A Course on Set Theory

by Ernest Schimmerling

ISBN 13: 9781107400481

Format: Paperback (178 pages)
Publisher: Cambridge University Press
Published: 28 Jul 2011

Save for later

Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, ... Computer Science and General Issues)

by

ISBN 13: 9783540454588

Format: Paperback (639 pages)
Publisher: Springer
Published: 20 Sep 2006

Save for later