Buy Used and New Mathematical Logic Books

Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)

by Allen L. Mann,Gabriel Sandu,Merlijn Sevenster

ISBN 13: 9780521149341

Format: Paperback (216 pages)
Publisher: Cambridge University Press
Published: 05 May 2011

Save for later

Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)

by

ISBN 13: 9783540222613

Format: Paperback (857 pages)
Publisher: Springer
Published: 14 Jun 2004

Save for later

Models and Games (Cambridge Studies in Advanced Mathematics)

by Jouko Väänänen

ISBN 13: 9780521518123

Format: Hardcover (380 pages)
Publisher: Cambridge University Press
Published: 05 May 2011

Save for later

Inductive Logic Programming: 13th International Conference, ILP 2003 Szeged, Hungary, September 29-October 1, 2003 Proceedings: 2835 (Lecture Notes in Computer Science)

by Tamás Horváth,Akihiro Yamamoto

ISBN 13: 9783540201441

Format: Paperback (416 pages)
Publisher: Springer
Published: 24 Sep 2003

Save for later

Logic in Elementary Mathematics

by Robert M. Exner,Myron F. Rosskopf

ISBN 13: 9780486482217

Format: Paperback (288 pages)
Publisher: Dover Publications Inc.
Published: 16 Jun 2011

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

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