Buy Used Mathematical Foundations CDs

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)

by Antoine Joux

ISBN 13: 9781420070026

Format: Hardcover (519 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Jun 2009

Save for later

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

Computability of Julia Sets: Preliminary Entry 23 (Algorithms and Computation in Mathematics)

by Mark Braverman,Michael Yampolsky

ISBN 13: 9783540685463

Format: Illustrated (168 pages)
Publisher: Springer
Published: 26 Nov 2008

Save for later

LMS: 108 Some Topics in Graph Thry (London Mathematical Society Lecture Note Series, Series Number 108)

by Hian Poh Yap

ISBN 13: 9780521339445

Format: Paperback (240 pages)
Publisher: Cambridge University Press
Published: 21 Aug 2008

Save for later

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

by Ulrich Kohlenbach

ISBN 13: 9783540775324

Format: Hardcover (556 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming

by Christopher John Hogger,D. M. Gabbay,C. Hogger

ISBN 13: 9780198537922

Format: Illustrated (816 pages)
Publisher: OUP Oxford
Published: 08 Jan 1998

Save for later

Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)

by Ian Stewart

ISBN 13: 9780486458847

Format: Illustrated (208 pages)
Publisher: Dover Publications Inc
Published: 12 May 2007
Other Format: Paperback

Save for later

2000 Solved Problems in Discrete Mathematics (SCHAUM)

by Seymour Lipschutz

ISBN 13: 9780070380318

Format: Paperback (432 pages)
Publisher: McGraw Hill
Published: 01 Jun 1990

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

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

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