Buy Used and New Mathematical Foundations Books

Constructing Correct Software: The Basics (Formal Approaches to Computing and Information Technology (FACIT))

by John Cooke

ISBN 13: 9783540761563

Format: Paperback (395 pages)
Publisher: Springer
Published: 01 Apr 1999
Other Format: Paperback

Save for later

An Introduction to Formal Logic

by Peter Smith

ISBN 13: 9780521008044

Format: Paperback (366 pages)
Publisher: Cambridge University Press
Published: 06 Nov 2003

Save for later

Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)

by Paul J Cohen,Martin Davis

ISBN 13: 9780486469218

Format: Illustrated (192 pages)
Publisher: Dover Publications Inc.
Published: 27 Feb 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

Godel, Escher, Bach: An Eternal Golden Braid

by Douglas R. Hofstadter

ISBN 13: 9780140055795

Format: Paperback (777 pages)
Publisher: Penguin
Published: 20 Nov 1980

Save for later

Automata and Languages

by John Mackintosh Howie

ISBN 13: 9780198534426

Format: Paperback (304 pages)
Publisher: Clarendon Press
Published: 24 Oct 1991

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

Logic and Structure (Universitext)

by Dirk van Dalen

ISBN 13: 9783540208792

Format: Paperback (263 pages)
Publisher: Springer
Published: 11 Mar 2004

Save for later

Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)

by M. Ben-Ari

ISBN 13: 9780135641392

Format: Paperback (320 pages)
Publisher: Prentice-Hall
Published: 01 Oct 1992

Save for later

Studying Mathematics and its Applications: 33 (Macmillan Study Skills)

by Peter Kahn

ISBN 13: 9780333922798

Format: Paperback (212 pages)
Publisher: Palgrave
Published: 31 Oct 2001

Save for later

Value-Based Metrics for Improving Results: An Enterprise Project Management Toolkit

by Mel Schnapper,Steven Rollins

ISBN 13: 9781932159257

Format: Hardcover (434 pages)
Publisher: J Ross Publishing
Published: 01 Jul 2005

Save for later

Sets and Groups: First Course in Algebra

by J.A. Green

ISBN 13: 9780710212276

Format: Paperback (270 pages)
Publisher: CRC Press Inc
Published: 01 Jan 1988

Save for later