Buy Used and New Mathematical Logic Books

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540746089

Format: Paperback (470 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540488156

Format: Paperback (386 pages)
Publisher: Springer
Published: 30 Oct 2006

Save for later

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540727873

Format: Paperback (384 pages)
Publisher: Springer
Published: 18 May 2007

Save for later

Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540442745

Format: Paperback (655 pages)
Publisher: Springer
Published: 25 Sep 2002

Save for later

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings: 4th International Joint ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540710691

Format: Paperback (556 pages)
Publisher: Springer
Published: 25 Jul 2008

Save for later

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783540799795

Format: Paperback (432 pages)
Publisher: Springer
Published: 15 Jul 2008

Save for later

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

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540710653

Format: Paperback (321 pages)
Publisher: Springer
Published: 30 Jul 2008

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

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