Buy Used and New Mathematical Logic Books

A Course in Formal Languages, Automata and Groups (Universitext)

by Ian M. Chiswell

ISBN 13: 9781848009394

Format: Paperback (157 pages)
Publisher: Springer
Published: 06 Feb 2009

Save for later

Logic

by Wilfrid Hodges

ISBN 13: 9780141003146

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

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

Mathematical Logic

by Joseph R. Shoenfield

ISBN 13: 9781568811352

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

Save for later

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I.C.F.E.M. 2009, Rio de Janeiro, Brazil, December ... (Lecture Notes in Computer Science)

by Karin Breitman

ISBN 13: 9783642103728

Format: Paperback (776 pages)
Publisher: Springer
Published: 17 Nov 2009

Save for later

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

Save for later

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

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

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

Save for later

Teaching and Learning Proof Across the Grades: A K-16 Perspective (Studies in Mathematical Thinking and Learning Series)

by Despina A. Stylianou,Maria L. Blanton,Eric J. Knuth

ISBN 13: 9780415989848

Format: Illustrated (408 pages)
Publisher: Routledge
Published: 05 Mar 2009

Save for later

Modelling Differentl Difference Equ: 10 (Australian Mathematical Society Lecture Series, Series Number 10)

by Fulford/Forrester/Jones

ISBN 13: 9780521446181

Format: Paperback (416 pages)
Publisher: Cambridge University Press
Published: 12 Jan 2008

Save for later

Finite Structures with Few Types. (AM-152): 165 (Annals of Mathematics Studies)

by Gregory Cherlin, Ehud Hrushovski

ISBN 13: 9780691113326

Format: Paperback (200 pages)
Publisher: Princeton University Press
Published: 23 Dec 2002

Save for later