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
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
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
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
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
Analysis: An Introduction
by Richard Beals
ISBN 13: 9780521600477
Format: Paperback (272 pages) Publisher: Cambridge University Press Published: 13 Sep 2004
Computability In Context: Computation And Logic In The Real World
by Cooper S Barry et al
ISBN 13: 9781848162457
Format: Hardcover (420 pages) Publisher: Imperial College Press Published: 25 Apr 2011
The Proof is in the Pudding: The Changing Nature of Mathematical Proof
by Steven G. Krantz
ISBN 13: 9780387489087
Format: Hardcover (281 pages) Publisher: Springer Published: 19 May 2011
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV
by
ISBN 13: 9781402090837
Format: Hardcover (360 pages) Publisher: Springer Published: 27 Nov 2008
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)
ISBN 13: 9789048124855
Format: Paperback (360 pages) Publisher: Springer Published: 12 Mar 2009 Other Format: Hardcover
Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles
ISBN 13: 9783642136054
Format: Hardcover (343 pages) Publisher: Springer Published: 09 Oct 2010