The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Mathematical Logic Books

Results for Mathematical Logic

Showing 61 to 72 of 198 results
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems by Merrie Bergmann

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

by Merrie Bergmann


ISBN 13: 9780521707572

Format: Illustrated (342 pages)
Publisher: Cambridge University Press
Published: 24 Apr 2008
Other Format: Hardcover

Save for later

 
New : $57.73  
New : $57.73
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics) Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics) by Chin-Liang Chang,Richard Char-Tung Lee

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)

by Chin-Liang Chang,Richard Char-Tung Lee


ISBN 13: 9780121703509

Format: Illustrated (331 pages)
Publisher: Academic Press
Published: 15 Jun 1973

Save for later

 
New : $51.05  
New : $51.05
Gödel's Proof Gödel's Proof by Ernest Nagel,James R. Newman,Douglas R. Hofstadter

Gödel's Proof

by Ernest Nagel,James R. Newman,Douglas R. Hofstadter


ISBN 13: 9780814758373

Format: Paperback (160 pages)
Publisher: NYU Press
Published: 01 Oct 2008
Other Format: Hardcover

Save for later

 
New : $15.39  
New : $15.39
Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12) Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12) by Andrew M. Pitts Edited by Andrew D. Gordon

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon


ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

 
New : $114.66  
New : $114.66
Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing) Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing) by Kofi Kissi Dompere

Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)

by Kofi Kissi Dompere


ISBN 13: 9783540880844

Format: Hardcover (266 pages)
Publisher: Springer
Published: 20 Mar 2009

Save for later

 
New : $223.67  
New : $223.67
Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series) Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series) by Antoine Joux

Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)

by Antoine Joux


ISBN 13: 9781420070026

Format: Hardcover (519 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Jun 2009

Save for later

 
New : $139.35  
New : $139.35
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science) Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science) by Martin Hofmann

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann


ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

 
New : $73.55  
New : $73.55
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.42  
New : $137.42
The Notre Dame Lectures: Lecture Notes in Logic, 18 The Notre Dame Lectures: Lecture Notes in Logic, 18 by Peter Cholak

The Notre Dame Lectures: Lecture Notes in Logic, 18

by Peter Cholak


ISBN 13: 9781568812496

Format: Illustrated (200 pages)
Publisher: A K Peters/CRC Press
Published: 23 Jun 2005

Save for later

 
New : $73.35  
New : $73.35
Argumentation Schemes Argumentation Schemes by Douglas Walton

Argumentation Schemes

by Douglas Walton


ISBN 13: 9780521723749

Format: Illustrated (456 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008
Other Format: Hardcover

Save for later

 
New : $34.22  
New : $34.22
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series) Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series) by W. Bibel, P.H. Schmitt

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)

by W. Bibel, P.H. Schmitt


ISBN 13: 9780792351306

Format: Hardcover (448 pages)
Publisher: Springer
Published: 30 Jun 1998
Other Format: Hardcover, Illustrated

Save for later

 
New : $283.65  
New : $283.65
Mathematical Logic Mathematical Logic by Joseph R. Shoenfield

Mathematical Logic

by Joseph R. Shoenfield


ISBN 13: 9781568811352

Format: Paperback (352 pages)
Publisher: Routledge
Published: 01 Jan 2001

Save for later

 
New : $59.49  
New : $59.49