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 145 to 156 of 199 results
Naive Set Theory (Undergraduate Texts in Mathematics) Naive Set Theory (Undergraduate Texts in Mathematics) by P. R. Halmos

Naive Set Theory (Undergraduate Texts in Mathematics)

by P. R. Halmos


ISBN 13: 9780387900926

Format: Hardcover (111 pages)
Publisher: Springer
Published: 24 Oct 1974

Save for later

 
New : $102.60  
New : $102.60
Logic from Russell to Church: 5 (Handbook of the History of Logic) Logic from Russell to Church: 5 (Handbook of the History of Logic) by Gabbay

Logic from Russell to Church: 5 (Handbook of the History of Logic)

by Gabbay


ISBN 13: 9780444516206

Format: Hardcover (950 pages)
Publisher: North Holland
Published: 17 Jun 2009

Save for later

 
New : $211.95  
New : $211.95
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse Gödel's Theorem: An Incomplete Guide to Its Use and Abuse by Torkel Franzén

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

by Torkel Franzén


ISBN 13: 9781568812380

Format: Paperback (182 pages)
Publisher: Routledge
Published: 06 Jun 2005

Save for later

 
New : $44.31  
New : $44.31
Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series) Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series) by Mikhail J. Atallah, Marina Blanton

Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series)

by Mikhail J. Atallah, Marina Blanton


ISBN 13: 9781584888208

Format: Illustrated (950 pages)
Publisher: Chapman and Hall/CRC
Published: 20 Nov 2009

Save for later

 
New : $237.41  
New : $237.41
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming by Christopher John Hogger,D. M. Gabbay,C. Hogger

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming

by Christopher John Hogger,D. M. Gabbay,C. Hogger


ISBN 13: 9780198537922

Format: Illustrated (816 pages)
Publisher: OUP Oxford
Published: 08 Jan 1998

Save for later

 
New : $593.76  
New : $593.76
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics) Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics) by Ulrich Kohlenbach

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

by Ulrich Kohlenbach


ISBN 13: 9783540775324

Format: Hardcover (556 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

 
New : $164.54  
New : $164.54
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 : $60.43  
New : $60.43
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 : $54.99  
New : $54.99
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 : $16.11  
New : $16.11
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 : $120.04  
New : $120.04
Intermediate Logic Intermediate Logic by David Bostock

Intermediate Logic

by David Bostock


ISBN 13: 9780198751427

Format: Paperback (404 pages)
Publisher: Oxford University Press, USA
Published: 09 Oct 1997

Save for later

 
New : $51.03  
New : $51.03
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 : $234.17  
New : $234.17