Categories for Types (Cambridge Mathematical Textbooks)
by Crole
ISBN 13: 9780521457019
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 27 Jan 1994
Save for later
Theoretical and Experimental DNA Computation (Natural Computing Series)
by Martyn Amos
ISBN 13: 9783540657736
Format: Hardcover (186 pages) Publisher: Springer Published: 23 Jun 2005
First-order Logic (Dover Books on MaTHEMA 1.4tics)
by Raymond M. Smullyan
ISBN 13: 9780486683706
Format: Paperback (176 pages) Publisher: Dover Publications Inc Published: 01 Apr 1995
Combinatorics and Graph Theory (Undergraduate Texts in Mathematics)
by John Harris,Jeffry L. Hirst,Michael Mossinghoff
ISBN 13: 9780387797106
Format: Illustrated (396 pages) Publisher: Springer Published: 04 Nov 2008
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
by Wilfrid Hodges
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)
by Kees Doets,Jan van Eijck
ISBN 13: 9780954300692
Format: Paperback (450 pages) Publisher: College Publications Published: 07 Dec 2012
There's Something About Godel!: The Complete Guide to the Incompleteness Theorem
by BERTO
ISBN 13: 9781405197663
Format: Illustrated (256 pages) Publisher: John Wiley & Sons Published: 06 Nov 2009 Other Format: Paperback
An Introduction to the Relativistic Theory of Gravitation (Lecture Notes in Physics): 750
by Frank Meyer, Petr Hajicek, Jan Metzger
ISBN 13: 9783540786580
Format: Hardcover (280 pages) Publisher: Springer Published: 26 Aug 2008
The Mathematician's Mind: The Psychology of Invention in the Mathematical Field (Princeton Science Library)
by Jacques Hadamard
ISBN 13: 9780691029313
Format: Paperback (168 pages) Publisher: Princeton University Press Published: 30 Sep 1996
Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II): A Course with Exercises Part II: ... Godel's Theorems, Set Theory, Model Theory
by Rene Cori,Donald H. Pelletier,Daniel Lascar
ISBN 13: 9780198500506
Format: Paperback (352 pages) Publisher: Oxford University Press, USA Published: 12 Apr 2001
Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153
by Dov M. Gabbay,Dimitrij Skvortsov,Valentin Shehtman
ISBN 13: 9780444520128
Format: Illustrated (640 pages) Publisher: Elsevier Science Published: 09 Jun 2009
Logic For Dummies
by Mark Zegarelli
ISBN 13: 9780471799412
Format: Illustrated (384 pages) Publisher: For Dummies Published: 10 Nov 2006