Buy Used and New Mathematical Logic Books

Logic

by Wilfrid Hodges

ISBN 13: 9780141003146

Format: Paperback (304 pages)
Publisher: Penguin
Published: 29 Nov 2001
Other Format: Paperback

Save for later

Sets for Mathematics

by F. William Lawvere

ISBN 13: 9780521010603

Format: Paperback (276 pages)
Publisher: Cambridge University Press
Published: 10 Apr 2003

Save for later

Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz

by Sekharipuram S. Ravi, Sandeep K. Shukla

ISBN 13: 9781402096877

Format: Hardcover (518 pages)
Publisher: Springer
Published: 15 Apr 2009

Save for later

The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)

by Kees Doets,Jan van Eijck

ISBN 13: 9780954300692

Format: Paperback (450 pages)
Publisher: College Publications
Published: 07 Dec 2012

Save for later

Logic for Mathematicians

by A. G. Hamilton

ISBN 13: 9780521368650

Format: Paperback (238 pages)
Publisher: Cambridge University Press
Published: 29 Sep 1988

Save for later

Schaum's Outline of Set Theory and Related Topics

by Seymour Lipschutz

ISBN 13: 9780070381599

Format: Paperback (288 pages)
Publisher: McGraw Hill
Published: 01 Jan 1998

Save for later

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)

by Andrea Corradini, Ugo Montanari

ISBN 13: 9783642034282

Format: Paperback (352 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

mural: A Formal Development Support System: A Formal Development Support System

by C.B. Jones,B. Ritchie A.C.

ISBN 13: 9783540196518

Format: Illustrated (440 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II): A Course with Exercises Part II: ... Godel's Theorems, Set Theory, Model Theory

by Rene Cori,Donald H. Pelletier,Daniel Lascar

ISBN 13: 9780198500506

Format: Paperback (352 pages)
Publisher: Oxford University Press, USA
Published: 12 Apr 2001

Save for later

Logic For Dummies

by Zegarelli, Mark Mark Zegarelli,

ISBN 13: 9780471799412

Format: paperback
Publisher: For Dummies

Save for later

Schaum's Outline of Boolean Algebra and Switching Circuits

by Elliott Mendelson

ISBN 13: 9780070414600

Format: Paperback (224 pages)
Publisher: McGraw Hill
Published: 16 Jan 1970

Save for later

Cryptology and Network Security: 8th International Conference, C.A.N.S. 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings (Lecture Notes in Computer Science / Security and Cryptology): 5888

by Juan A. Garay, Atsuko Miyaji, Akira Otsuka

ISBN 13: 9783642104329

Format: Paperback (538 pages)
Publisher: Springer
Published: 24 Nov 2009

Save for later