Buy Used and New Mathematical Logic Books

An Introduction to Practical Formal Methods Using Temporal Logic

by Michael Fisher

ISBN 13: 9780470027882

Format: Hardcover (360 pages)
Publisher: Wiley-Blackwell
Published: 18 Apr 2011

Save for later

Coding Theory and Cryptography: The Essentials (Pure and Applied Mathematics)

by D.C. Hankerson,Gary Hoffman,D.A. Leonard,Charles C. Lindner,K.T. Phelps,C.A. Rodger,J.R. Wall

ISBN 13: 9780824704650

Format: Hardcover (350 pages)
Publisher: CRC Press
Published: 04 Aug 2000

Save for later

Discrete Thoughts: Essays on Mathematics, Science and Philosophy (Modern Birkhäuser Classics)

by Mark Kac,Gian-Carlo Rota,Jacob T. Schwartz

ISBN 13: 9780817647742

Format: Paperback (276 pages)
Publisher: Birkhauser
Published: 25 Jan 2008

Save for later

Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642194856

Format: Paperback (164 pages)
Publisher: Springer
Published: 16 Mar 2011

Save for later

Language, Games, and Evolution: Trends in Current Research on Language and Game Theory (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642180057

Format: Paperback (196 pages)
Publisher: Springer
Published: 14 Mar 2011

Save for later

Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783642197536

Format: Paperback (275 pages)
Publisher: Springer
Published: 14 Mar 2011

Save for later

Logical Dilemmas: The Life and Work of Kurt Godel

by John Dawson

ISBN 13: 9781568812564

Format: Paperback (376 pages)
Publisher: A K Peters/CRC Press
Published: 06 Jun 2005

Save for later

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

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues)

by N/A

ISBN 13: 9783642046384

Format: Paperback (367 pages)
Publisher: Springer
Published: 05 Oct 2009

Save for later

Referential Opacity and Modal Logic (Studies in Philosophy)

by N/A

ISBN 13: 9780415998444

Format: Paperback (200 pages)
Publisher: Routledge
Published: 07 Dec 2009

Save for later

Intermediate Logic

by David Bostock

ISBN 13: 9780198751427

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

Save for later

Category Theory (Oxford Logic Guides)

by N/A

ISBN 13: 9780199237180

Format: Paperback (320 pages)
Publisher: OUP Oxford
Published: 17 Jun 2010

Save for later