Computability: An Introduction to Recursive Function Theory
by Nigel Cutland
ISBN 13: 9780521294652
Format: Illustrated (262 pages) Publisher: Cambridge University Press Published: 19 Jun 1980
Save for later
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
by Peter J. Eccles
ISBN 13: 9780521597180
Format: Paperback (362 pages) Publisher: Cambridge University Press Published: 11 Dec 1997
LMS: 43 Graphs, Codes & Designs (London Mathematical Society Lecture Note Series, Series Number 43)
by P. J. Cameron
ISBN 13: 9780521231411
Format: Paperback (156 pages) Publisher: Cambridge University Press Published: 31 Jul 1980
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
by Torkel Franzén
ISBN 13: 9781568812380
Format: Paperback (182 pages) Publisher: Routledge Published: 06 Jun 2005
Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)
by Ian Stewart
ISBN 13: 9780486458847
Format: Illustrated (208 pages) Publisher: Dover Publications Inc Published: 12 May 2007 Other Format: Paperback
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
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
by Merrie Bergmann
ISBN 13: 9780521707572
Format: Illustrated (342 pages) Publisher: Cambridge University Press Published: 24 Apr 2008
Logic For Dummies
by Zegarelli, Mark Mark Zegarelli,
ISBN 13: 9780471799412
Format: paperback Publisher: For Dummies
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
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)
by Andrea Corradini, Ugo Montanari
ISBN 13: 9783642034282
Format: Paperback (352 pages) Publisher: Springer Published: 07 Sep 2009
Control Theoretic Splines: Optimal Control, Statistics, and Path Planning: 31 (Princeton Series in Applied Mathematics)
by Magnus Egerstedt,Clyde Martin
ISBN 13: 9780691132969
Format: Hardcover (232 pages) Publisher: Princeton University Press Published: 27 Dec 2009
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