Buy Used and New Mathematical Logic Books

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

by Dov M. Gabbay,Dimitrij Skvortsov,Valentin Shehtman

ISBN 13: 9780444520128

Format: Illustrated (640 pages)
Publisher: Elsevier Science
Published: 09 Jun 2009

Save for later

mural: A Formal Development Support System: A Formal Development Support System

by C.B. Jones,B. Ritchie A.C.

ISBN 13: 9783540196518

Format: Illustrated (440 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)

by Andrea Corradini, Ugo Montanari

ISBN 13: 9783642034282

Format: Paperback (352 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Logic For Dummies

by Zegarelli, Mark Mark Zegarelli,

ISBN 13: 9780471799412

Format: paperback
Publisher: For Dummies

Save for later

Cellular Automata: A Discrete View of the World: 45 (Wiley Series in Discrete Mathematics & Optimization)

by Joel L. Schiff

ISBN 13: 9780470168790

Format: Hardcover (280 pages)
Publisher: Wiley-Interscience
Published: 08 Feb 2008

Save for later

A.I. 2009: Advances in Artificial Intelligence : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009, Proceedings: 5866 (Lecture Notes in Computer Science)

by Ann Nicholson

ISBN 13: 9783642104381

Format: Paperback (708 pages)
Publisher: Springer
Published: 09 Nov 2009

Save for later

Collected Works: Publications 1929-1936 (Collected Works of Kurt Godel)

by Kurt Godel,Solomon Feferman,John W. Dawson

ISBN 13: 9780195039641

Format: Illustrated (504 pages)
Publisher: Oxford University Press
Published: 01 Jan 1986

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... (Lecture Notes in Computer Science)

by Sergei Artemov, Anil Nerode

ISBN 13: 9783540926863

Format: Paperback (469 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later

Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings: 5449 (Lecture Notes in Computer Science)

by Alexander Gelbukh

ISBN 13: 9783642003813

Format: Paperback (604 pages)
Publisher: Springer
Published: 16 Feb 2009

Save for later

Principles of Applied Mathematics (Advanced Book Program)

by James P. Keener

ISBN 13: 9780738201290

Format: Hardcover (624 pages)
Publisher: CRC Press
Published: 14 Jan 2000

Save for later

Axiom of Choice (Lecture Notes in Mathematics)

by Horst Herrlich

ISBN 13: 9783540309895

Format: Paperback (208 pages)
Publisher: Springer
Published: 11 May 2006

Save for later

Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceedings: 4481 (Lecture Notes in Computer Science)

by JingTao Yao,Nick J. Cercone,Wei-Zhi Wu,Pawan Lingras,Marcin Szczuka

ISBN 13: 9783540724575

Format: Illustrated (592 pages)
Publisher: Springer
Published: 27 Apr 2007

Save for later