Incompleteness in the Land of Sets (Studies in Logic)
by M. Fitting
ISBN 13: 9781904987345
Format: Paperback (156 pages) Publisher: College Publications Published: 19 Feb 2007
Save for later
Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))
by
ISBN 13: 9781904987291
Format: Paperback (300 pages) Publisher: College Publications Published: 05 Dec 2006
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540878025
Format: Paperback (429 pages) Publisher: Springer Published: 19 Sep 2008
Analysis: An Introduction
by Richard Beals
ISBN 13: 9780521600477
Format: Paperback (272 pages) Publisher: Cambridge University Press Published: 13 Sep 2004
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
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Computer Science and General Issues)
ISBN 13: 9783642005954
Format: Paperback (471 pages) Publisher: Springer Published: 09 Mar 2009
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
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
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science)
ISBN 13: 9783540633983
Format: Paperback (425 pages) Publisher: Springer Published: 13 Aug 1997
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
The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)
ISBN 13: 9780444516114
Format: Hardcover (780 pages) Publisher: North Holland Published: 08 Mar 2004
First Steps in Modal Logic
by Sally Popkorn
ISBN 13: 9780521057936
Format: Paperback (332 pages) Publisher: Cambridge University Press Published: 28 Jan 2008