Buy Used and New Mathematical Logic Books

Results for Mathematical Logic

Showing 25 to 36 of 191 results
Logical Reasoning with Diagrams (Studies in Logic and Computation) Logical Reasoning with Diagrams (Studies in Logic and Computation) by Gerard Allwein,Jon Barwise

Logical Reasoning with Diagrams (Studies in Logic and Computation)

by Gerard Allwein,Jon Barwise


ISBN 13: 9780195104271

Format: Hardcover (288 pages)
Publisher: OUP USA
Published: 18 Jul 1996

Save for later

 
New : $302.70  
New : $302.70
Super-Real Fields: Totally Ordered Fields with Additional Structure (London Mathematical Society Monographs) Super-Real Fields: Totally Ordered Fields with Additional Structure (London Mathematical Society Monographs) by H. Garth Dales,W. Hugh Woodin

Super-Real Fields: Totally Ordered Fields with Additional Structure (London Mathematical Society Monographs)

by H. Garth Dales,W. Hugh Woodin


ISBN 13: 9780198539919

Format: Hardcover (376 pages)
Publisher: Clarendon Press
Published: 16 May 1996

Save for later

 
New : $401.52  
New : $401.52
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 : $394.19  
New : $394.19
Logic Colloquium 2007 (Lecture Notes in Logic) Logic Colloquium 2007 (Lecture Notes in Logic) by

Logic Colloquium 2007 (Lecture Notes in Logic)

by


ISBN 13: 9780521760652

Format: Hardcover (282 pages)
Publisher: Cambridge University Press
Published: 07 Jun 2010

Save for later

 
New : $137.73  
New : $137.73
Constraint Logic Programming using Eclipse Constraint Logic Programming using Eclipse by Krzysztof R. Apt,Mark Wallace

Constraint Logic Programming using Eclipse

by Krzysztof R. Apt,Mark Wallace


ISBN 13: 9780521866286

Format: Hardcover (348 pages)
Publisher: Cambridge University Press
Published: 21 Dec 2006

Save for later

 
New : $95.95  
New : $95.95
Mathematical Logic: A First Course (Dover Books on Mathematics) Mathematical Logic: A First Course (Dover Books on Mathematics) by Joel W Robbin

Mathematical Logic: A First Course (Dover Books on Mathematics)

by Joel W Robbin


ISBN 13: 9780486450186

Format: Paperback (224 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

 
New : $15.85  
New : $15.85
Undecidable Theories (Dover Books on Mathematics) Undecidable Theories (Dover Books on Mathematics) by Alfred Tarski

Undecidable Theories (Dover Books on Mathematics)

by Alfred Tarski


ISBN 13: 9780486477039

Format: Paperback (112 pages)
Publisher: Dover Publications Inc.
Published: 24 Sep 2010

Save for later

 
New : $15.30  
New : $15.30
Theory of Recursive Functions and Effective Computability Theory of Recursive Functions and Effective Computability by Rogers,Howard Poizner,Edward S. Klima,Ursula Bellugi

Theory of Recursive Functions and Effective Computability

by Rogers,Howard Poizner,Edward S. Klima,Ursula Bellugi


ISBN 13: 9780262680523

Format: Paperback (504 pages)
Publisher: MIT Press
Published: 01 Jan 1987

Save for later

 
New : $63.23  
New : $63.23
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 : $72.87  
New : $72.87