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

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

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

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

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

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

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

What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles

by Raymond M. Smullyan

ISBN 13: 9780486481982

Format: Paperback (256 pages)
Publisher: Dover Publications Inc.
Published: 18 Aug 2011
Other Format: Paperback

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