Buy Used and New Mathematical Logic Books

Natural Language Processing and Information Systems: 14th International Conference on Applications of Natural Language to Information Systems , NLDB ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642125492

Format: Paperback (336 pages)
Publisher: Springer
Published: 20 Apr 2010

Save for later

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

by Torkel Franzén

ISBN 13: 9781568812380

Format: Paperback (182 pages)
Publisher: Routledge
Published: 06 Jun 2005

Save for later

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

by Gabbay

ISBN 13: 9780444516206

Format: Hardcover (950 pages)
Publisher: North Holland
Published: 17 Jun 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

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

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings: 4603 (Lecture Notes in Computer Science, 4603)

by Frank Pfenning

ISBN 13: 9783540735946

Format: Illustrated (536 pages)
Publisher: Springer
Published: 05 Jul 2007

Save for later

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science)

by

ISBN 13: 9783540633983

Format: Paperback (425 pages)
Publisher: Springer
Published: 13 Aug 1997

Save for later

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

by Robert Goldblatt

ISBN 13: 9780486450261

Format: Paperback (576 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)

by

ISBN 13: 9780444516114

Format: Hardcover (780 pages)
Publisher: North Holland
Published: 08 Mar 2004

Save for later

First Steps in Modal Logic

by Sally Popkorn

ISBN 13: 9780521057936

Format: Paperback (332 pages)
Publisher: Cambridge University Press
Published: 28 Jan 2008

Save for later

Foundations of the Formal Sciences: Infinite Games v. 5

by

ISBN 13: 9781904987758

Format: Paperback (368 pages)
Publisher: College Publications
Published: 19 Dec 2007

Save for later