Buy Used and New Mathematical Theory Books

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

Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)

by Patrick Blackburn

ISBN 13: 9780521527149

Format: Illustrated (578 pages)
Publisher: Cambridge University Press
Published: 22 Aug 2002

Save for later

Converging Realities: Toward a Common Philosophy of Physics and Mathematics

by Roland Omnès

ISBN 13: 9780691115306

Format: Hardcover (284 pages)
Publisher: Princeton University Press
Published: 29 Nov 2004

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
Other Format: Hardcover

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

Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)

by Kofi Kissi Dompere

ISBN 13: 9783540880844

Format: Hardcover (266 pages)
Publisher: Springer
Published: 20 Mar 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
Other Format: Hardcover

Save for later

Graphs: An Introductory Approach––A First Course in Discrete Mathematics

by Robin J. Wilson, John J. Watkins

ISBN 13: 9780471615545

Format: Hardcover (352 pages)
Publisher: John Wiley & Sons
Published: 23 May 1990
Other Format: Paperback

Save for later

Elementary Number Theory (Springer Undergraduate Mathematics Series)

by Jones, Gareth A. Gareth A. Jones, Josephine M. Jones,

ISBN 13: 9783540761976

Format: paperback
Publisher: Springer

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

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