Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides)
by Dov M Gabbay,M. Finger,M. Reynolds
ISBN 13: 9780198537687
Format: Hardcover (597 pages) Publisher: OUP Oxford Published: 30 Mar 2000
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
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
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
Mathematical Logic
by Stephen Cole Kleene
ISBN 13: 9780486425337
Format: Paperback (416 pages) Publisher: Dover Publications Inc. Published: 28 Mar 2003
Model Theory with Applications to Algebra and Analysis: Volume 1 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521694841
Format: Paperback (350 pages) Publisher: Cambridge University Press Published: 22 May 2008
Model Theory with Applications to Algebra and Analysis: Volume 2 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521709088
Format: Paperback (444 pages) Publisher: Cambridge University Press Published: 22 May 2008
Model Theory, Algebra, and Geometry (Mathematical Sciences Research Institute Publications)
ISBN 13: 9780521143493
Format: Paperback (236 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Godel: A Life of Logic, the Mind, and Mathematics
by John L. Casti,Werner Depauli
ISBN 13: 9780738205182
Format: Paperback (224 pages) Publisher: Perseus Books Published: 16 Aug 2001
The Description Logic Handbook: Theory, Implementation and Applications
ISBN 13: 9780521150118
Format: Paperback (624 pages) Publisher: Cambridge University Press Published: 20 May 2010