There's Something About Godel!: The Complete Guide to the Incompleteness Theorem
by Francesco Berto
ISBN 13: 9781405197670
Format: Paperback (254 pages) Publisher: Wiley-Blackwell Published: 06 Nov 2009 Other Format: Illustrated
Save for later
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800
by Kurt Jensen
ISBN 13: 9783642048548
Format: Paperback (296 pages) Publisher: Springer Published: 11 Nov 2009
Numbers & Proofs (Modular Mathematics Series)
by R. B. J. T. Allenby
ISBN 13: 9780340676530
Format: Paperback (288 pages) Publisher: Butterworth-Heinemann Published: 26 Sep 1997
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library): 335
by Mark van Atten
ISBN 13: 9781402050862
Format: Hardcover (206 pages) Publisher: Springer Published: 09 Nov 2006
Handbook of Algebra,4: Volume 4
by M. Hazewinkel
ISBN 13: 9780444522139
Format: Illustrated (250 pages) Publisher: Elsevier Published: 30 May 2006
Logical Foundations of Proof Complexity (Perspectives in Logic)
by Stephen Cook,Phuong Nguyen
ISBN 13: 9780521517294
Format: Illustrated (496 pages) Publisher: Cambridge University Press Published: 25 Jan 2010
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
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
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
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
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
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