Buy Used and New Mathematical Logic Books

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

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

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

Mathematical Control Theory: An Introduction (Modern Birkhäuser Classics)

by Jerzy Zabczyk

ISBN 13: 9780817647322

Format: Paperback (272 pages)
Publisher: Birkhauser
Published: 06 Nov 2007

Save for later

Machine Learning and Its Applications: Advanced Lectures (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540424901

Format: Paperback (325 pages)
Publisher: Springer
Published: 01 Aug 2001

Save for later

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540698494

Format: Paperback (231 pages)
Publisher: Springer
Published: 17 Jun 2008

Save for later

Computability, Enumerability, Unsolvability: Directions in Recursion Theory (London Mathematical Society Lecture Note Series)

by

ISBN 13: 9780521557368

Format: Paperback (356 pages)
Publisher: Cambridge University Press
Published: 11 Jan 1996

Save for later

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

by David A. Plaisted, Yunshan Zhu

ISBN 13: 9783528155742

Format: Paperback (178 pages)
Publisher: Springer
Published: 01 Sep 2003

Save for later

Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642212536

Format: Paperback (525 pages)
Publisher: Springer
Published: 19 May 2011

Save for later

Reminiscences of the Vienna Circle and the Mathematical Colloquium (Vienna Circle Collection)

by Karl Menger

ISBN 13: 9780792328735

Format: Paperback (276 pages)
Publisher: Springer
Published: 23 Jun 1994

Save for later

Computational Logic and Human Thinking: How to be Artificially Intelligent

by Robert Kowalski

ISBN 13: 9780521123365

Format: Paperback (332 pages)
Publisher: Cambridge University Press
Published: 21 Jul 2011

Save for later