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
Save for later
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
Sets, Sequences and Mappings: The Basic Concepts of Analysis (Dover Books on Mathematics)
by Dr Kenneth Anderson,Dick Wick Hall
ISBN 13: 9780486474212
Format: Paperback (208 pages) Publisher: Dover Publications Inc. Published: 16 Oct 2009
Logic For Dummies
by Mark Zegarelli
ISBN 13: 9780471799412
Format: Illustrated (384 pages) Publisher: For Dummies Published: 10 Nov 2006
A Primer of Infinitesimal Analysis
by John L. Bell
ISBN 13: 9780521887182
Format: Hardcover (140 pages) Publisher: Cambridge University Press Published: 07 Apr 2008
Thinking as Communicating: Human Development, the Growth of Discourses, and Mathematizing (Learning in Doing: Social, Cognitive and Computational Perspectives)
by Anna Sfard
ISBN 13: 9780521161541
Format: Illustrated (352 pages) Publisher: Cambridge University Press Published: 29 Apr 2010
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
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
Foundations of Grothendieck Duality for Diagrams of Schemes: 1960 (Lecture Notes in Mathematics)
by Joseph Lipman, Mitsuyasu Hashimoto
ISBN 13: 9783540854197
Format: Paperback (478 pages) Publisher: Springer Published: 05 Feb 2009
Universal Logic: 109 (Center for the Study of Language and Information Publication Lecture Notes)
by Ross Brady
ISBN 13: 9781575862569
Format: Illustrated (440 pages) Publisher: The Center for the Study of Language and Information Publications Published: 17 Feb 2006
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