Buy Used and New Mathematical Foundations Books

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

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

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

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

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

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

Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642218743

Format: Paperback (332 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later

The Strength of Nonstandard Analysis

by

ISBN 13: 9783211998922

Format: Paperback (421 pages)
Publisher: Springer
Published: 13 Oct 2010
Other Format: Hardcover

Save for later