Buy Used and New Mathematical Logic Books

Results for Mathematical Logic

Showing 373 to 384 of 535 results
Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides) Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides) by Dov M Gabbay,M. Finger,M. Reynolds

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

 
New : $340.44  
New : $340.44
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) 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

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

 
New : $99.10  
New : $99.10
Topology via Logic (Cambridge Tracts in Theoretical Computer Science) Topology via Logic (Cambridge Tracts in Theoretical Computer Science) by Steven Vickers

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

 
New : $63.02  
New : $63.02
Mathematical Logic Mathematical Logic by Stephen Cole Kleene

Mathematical Logic

by Stephen Cole Kleene


ISBN 13: 9780486425337

Format: Paperback (416 pages)
Publisher: Dover Publications Inc.
Published: 28 Mar 2003

Save for later

 
New : $24.87  
New : $24.87
Godel: A Life of Logic, the Mind, and Mathematics Godel: A Life of Logic, the Mind, and Mathematics by John L. Casti,Werner Depauli

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

Save for later

 
New : $28.86  
New : $28.86
The Description Logic Handbook: Theory, Implementation and Applications The Description Logic Handbook: Theory, Implementation and Applications by

The Description Logic Handbook: Theory, Implementation and Applications

by


ISBN 13: 9780521150118

Format: Paperback (624 pages)
Publisher: Cambridge University Press
Published: 20 May 2010

Save for later

 
New : $80.12  
New : $80.12