Buy Used and New Mathematical Logic Books

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

Lattice Theory: Foundation

by George Grätzer

ISBN 13: 9783034800174

Format: Paperback (642 pages)
Publisher: Springer Basel
Published: 07 Feb 2011

Save for later

Brouwer's Cambridge Lectures on Intuitionism

by Luitzen Egbertus Jan Brouwer

ISBN 13: 9780521177368

Format: Paperback (122 pages)
Publisher: Cambridge University Press
Published: 03 Mar 2011

Save for later

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

by Katalin Bimbó

ISBN 13: 9781439800003

Format: Hardcover (357 pages)
Publisher: Chapman and Hall/CRC
Published: 19 Jul 2011

Save for later