Buy Used and New Mathematical Logic Books

The Cloud of Unknowing: The Classic of Medieval Mysticism

by Evelyn Underhill, Evelyn Underhill

ISBN 13: 9780486432038

Format: Paperback (144 pages)
Publisher: Dover Publications Inc.
Published: 01 Sep 2003

Save for later

Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum)

by David M. Bressoud

ISBN 13: 9780521666466

Format: Paperback (274 pages)
Publisher: Cambridge University Press
Published: 13 Aug 1999

Save for later

Fuzzy Sets and Fuzzy Logic: Theory and Applications

by George J. Klir,Bo Yuan

ISBN 13: 9780131011717

Format: Hardcover (592 pages)
Publisher: Prentice Hall
Published: 11 May 1995

Save for later

The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (Cambridge Library Collection - Mathematics)

by George Boole

ISBN 13: 9781108001014

Format: Paperback (92 pages)
Publisher: Cambridge University Press
Published: 20 Jul 2009

Save for later

The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number

by Gottlob Frege

ISBN 13: 9780631126942

Format: Paperback (119 pages)
Publisher: John Wiley & Sons
Published: 30 Oct 1980
Other Format: Paperback

Save for later

Stable Domination and Independence in Algebraically Closed Valued Fields (Lecture Notes in Logic)

by Deirdre Haskell,Ehud Hrushovski,Dugald Macpherson

ISBN 13: 9780521889810

Format: Hardcover (194 pages)
Publisher: Cambridge University Press
Published: 10 Dec 2007

Save for later

Decision Modeling and Behavior in Complex and Uncertain Environments (Springer Optimization and Its Applications)

by

ISBN 13: 9780387771304

Format: Hardcover (376 pages)
Publisher: Springer
Published: 22 Aug 2008

Save for later

Formal Correctness of Security Protocols (Information Security and Cryptography)

by Giampaolo Bella

ISBN 13: 9783540681342

Format: Hardcover (274 pages)
Publisher: Springer
Published: 05 Mar 2007

Save for later

Engines of Logic: Mathematicians and the Origin of the Computer

by Martin Davis

ISBN 13: 9780393322293

Format: Paperback (272 pages)
Publisher: W. W. Norton & Co.
Published: 31 Oct 2001

Save for later

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

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

Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)

by Manuel Carro,Ricardo Peña

ISBN 13: 9783642115028

Format: Illustrated (297 pages)
Publisher: Springer
Published: 12 Jan 2010

Save for later