Buy Used and New Mathematical Logic Books

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

Set Theory and Logic

by Robert R. Stoll

ISBN 13: 9780486638294

Format: Paperback (496 pages)
Publisher: Dover Publications Inc.
Published: 03 Mar 1980

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

Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642006647

Format: Paperback (287 pages)
Publisher: Springer
Published: 27 Mar 2009

Save for later

Algorithm Engineering: Bridging the Gap Between Algorithm Theory and Practice (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642148651

Format: Paperback (513 pages)
Publisher: Springer
Published: 05 Aug 2010

Save for later

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

ISBN 13: 9783540719403

Format: Paperback (797 pages)
Publisher: Springer
Published: 20 Jul 2007

Save for later

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642005954

Format: Paperback (471 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

by Steven Vickers

ISBN 13: 9780521576512

Format: Paperback (220 pages)
Publisher: Cambridge University Press
Published: 22 Aug 1996

Save for later