Buy Used and New Mathematical Logic Books

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

Fundamentals of Computation Theory: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540514985

Format: Paperback (504 pages)
Publisher: Springer
Published: 31 Jul 1989

Save for later

Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)

by

ISBN 13: 9783540517221

Format: Paperback (350 pages)
Publisher: Springer
Published: 11 Oct 1989

Save for later

MICAI 2008: Advances in Artificial Intelligence: 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540886358

Format: Paperback (1034 pages)
Publisher: Springer
Published: 07 Oct 2008

Save for later

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings: 5th Internatonal ... Computer Science and General Issues)

by

ISBN 13: 9783540857617

Format: Paperback (455 pages)
Publisher: Springer
Published: 18 Aug 2008

Save for later

Foundations of Fuzzy Logic and Soft Computing: 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540729174

Format: Paperback (830 pages)
Publisher: Springer
Published: 05 Jun 2007

Save for later

Principles and Practice of Constraint Programming - CP 2007: 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, ... / Programming and Software Engineering)

by

ISBN 13: 9783540749691

Format: Paperback (890 pages)
Publisher: Springer
Published: 06 Sep 2007

Save for later

Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540330950

Format: Paperback (355 pages)
Publisher: Springer
Published: 16 Mar 2006

Save for later