Buy Used and New Mathematical Logic Books

Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642223020

Format: Paperback (375 pages)
Publisher: Springer
Published: 18 Jul 2011

Save for later

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642223051

Format: Paperback (205 pages)
Publisher: Springer
Published: 05 Jul 2011

Save for later

General Lattice Theory: Second edition: Volume 1: The Foundation

by George Grätzer

ISBN 13: 9783764369965

Format: Paperback (663 pages)
Publisher: Birkhauser
Published: 21 Nov 2002

Save for later

Math Work Stations: Independent Learning You Can Count On, K-2

by Debbie Diller

ISBN 13: 9781571107930

Format: Spiral-bound (299 pages)
Publisher: Stenhouse Pub
Published: 31 Dec 2010

Save for later

Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)

by Deborah Nolan, Terry P. Speed

ISBN 13: 9780387989747

Format: Paperback (282 pages)
Publisher: Springer
Published: 01 Dec 2001

Save for later

Semantics in Data and Knowledge Bases: 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers (Lecture Notes ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642234408

Format: Paperback (135 pages)
Publisher: Springer
Published: 06 Sep 2011

Save for later

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783642244308

Format: Paperback (261 pages)
Publisher: Springer
Published: 19 Sep 2011

Save for later

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

by Chin-Liang Chang, Richard Char-Tung Lee

ISBN 13: 9780121703509

Format: Hardcover (331 pages)
Publisher: Academic Press
Published: 15 Jun 1973

Save for later

e-Business and Telecommunications: International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papers (Communications in Computer and Information Science)

by Joaquim Filipe, Mohammad S. Obaidat

ISBN 13: 9783642051968

Format: Paperback (482 pages)
Publisher: Springer
Published: 28 Oct 2009

Save for later

Godel's Theorem: An Incomplete Guide to Its Use and Abuse

by Torkel Franzen

ISBN 13: 9781568812380

Format: Paperback (172 pages)
Publisher: A K Peters
Published: 15 Jul 2005

Save for later

Logic from Russell to Church: 5 (Handbook of the History of Logic)

by John Woods, Dov M. Gabbay

ISBN 13: 9780444516206

Format: Hardcover (1068 pages)
Publisher: North Holland
Published: 26 May 2009

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