Buy Used and New Mathematical Foundations Books

Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides)

by Dov M Gabbay,M. Finger,M. Reynolds

ISBN 13: 9780198537687

Format: Hardcover (597 pages)
Publisher: OUP Oxford
Published: 30 Mar 2000

Save for later

Notes on Set Theory (Undergraduate Texts in Mathematics)

by Yiannis Moschovakis

ISBN 13: 9780387287232

Format: Paperback (284 pages)
Publisher: Springer
Published: 21 Dec 2005

Save for later

Propositional and Predicate Calculus: A Model of Argument

by Derek Goldrei

ISBN 13: 9781852339210

Format: Paperback (315 pages)
Publisher: Springer
Published: 08 Sep 2005

Save for later

Exercises in Abelian Group Theory (Texts in the Mathematical Sciences)

by D. Valcan,C. Pelea,C. Modoi,S. Breaz,Grigore Calugareanu

ISBN 13: 9781402011832

Format: Hardcover (362 pages)
Publisher: Springer
Published: 30 Apr 2003

Save for later

Handbook of Financial Cryptography and Security (Chapman & Hall/CRC Cryptography and Network Security Series)

by

ISBN 13: 9781420059816

Format: Hardcover (631 pages)
Publisher: Chapman and Hall/CRC
Published: 09 Aug 2010

Save for later

Logic Colloquium 2007 (Lecture Notes in Logic)

by

ISBN 13: 9780521760652

Format: Hardcover (282 pages)
Publisher: Cambridge University Press
Published: 07 Jun 2010

Save for later

Constraint Logic Programming using Eclipse

by Krzysztof R. Apt,Mark Wallace

ISBN 13: 9780521866286

Format: Hardcover (348 pages)
Publisher: Cambridge University Press
Published: 21 Dec 2006

Save for later

Computability: An Introduction to Recursive Function Theory

by Nigel Cutland

ISBN 13: 9780521294652

Format: Illustrated (262 pages)
Publisher: Cambridge University Press
Published: 19 Jun 1980

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

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

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

by Peter J. Eccles

ISBN 13: 9780521597180

Format: Paperback (362 pages)
Publisher: Cambridge University Press
Published: 11 Dec 1997

Save for later

Logic from Russell to Church: 5 (Handbook of the History of Logic)

by Gabbay

ISBN 13: 9780444516206

Format: Hardcover (950 pages)
Publisher: North Holland
Published: 17 Jun 2009

Save for later