Buy Used and New Mathematical Logic Books

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

From Objects to Diagrams for Ranges of Functors (Lecture Notes in Mathematics)

by Pierre Gillibert, Friedrich Wehrung

ISBN 13: 9783642217739

Format: Paperback (168 pages)
Publisher: Springer
Published: 09 Jul 2011

Save for later

Hyperfinite Dirichlet Forms and Stochastic Processes (Lecture Notes of the Unione Matematica Italiana)

by Sergio Albeverio, Ruzong Fan, Frederik Herzberg

ISBN 13: 9783642196584

Format: Paperback (298 pages)
Publisher: Springer
Published: 29 May 2011

Save for later

Elements of Set Theory

by Herbert B. Enderton

ISBN 13: 9780122384400

Format: Hardcover (279 pages)
Publisher: Academic Press
Published: 23 May 1977

Save for later

Visual Cryptography and Secret Image Sharing (Digital Imaging and Computer Vision)

by

ISBN 13: 9781439837214

Format: Hardcover (545 pages)
Publisher: CRC Press
Published: 16 Sep 2011

Save for later

Formal Concept Analysis: 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642205132

Format: Paperback (278 pages)
Publisher: Springer
Published: 26 Apr 2011

Save for later