Buy Used and New Mathematical Theory Books

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)

by Wolfgang Bibel,P.H. Schmitt

ISBN 13: 9780792351290

Format: Illustrated (508 pages)
Publisher: Springer
Published: 30 Jun 1998
Other Format: Hardcover

Save for later

A Mathematical Introduction to Logic

by Herbert Enderton,Herbert B. Enderton

ISBN 13: 9780122384523

Format: Hardcover (317 pages)
Publisher: Academic Press
Published: 01 Jan 2001

Save for later

Descartes's Changing Mind

by Peter Machamer,J. E. McGuire

ISBN 13: 9780691138893

Format: Hardcover (272 pages)
Publisher: Princeton University Press
Published: 06 Jul 2009

Save for later

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings: 3363 (Lecture Notes in Computer Science)

by Thomas Eiter,Leonid Libkin

ISBN 13: 9783540242888

Format: Paperback (424 pages)
Publisher: Springer
Published: 16 Dec 2004

Save for later

A Course in Number Theory (Oxford Science Publications)

by H. E. Rose

ISBN 13: 9780198523765

Format: Paperback (416 pages)
Publisher: Oxford University Press
Published: 15 Jan 1998

Save for later

Cryptanalysis of RSA and Its Variants (Chapman & Hall/CRC Cryptography and Network Security Series)

by M. Jason Hinek, Douglas R. Stinson

ISBN 13: 9781420075182

Format: Hardcover (272 pages)
Publisher: Chapman & Hall
Published: 21 Jul 2009

Save for later

The Notre Dame Lectures: Lecture Notes in Logic, 18

by Peter Cholak

ISBN 13: 9781568812496

Format: Illustrated (200 pages)
Publisher: A K Peters/CRC Press
Published: 23 Jun 2005

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

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

Experimental Number Theory (Oxford Graduate Texts in Mathematics): 13

by Fernando Rodriguez Villegas

ISBN 13: 9780199227303

Format: Paperback (230 pages)
Publisher: Oxford University Press, USA
Published: 24 May 2007

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

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