Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
by Saunders MacLane,Ieke Moerdijk
ISBN 13: 9780387977102
Format: Paperback (629 pages) Publisher: Springer Published: 14 May 1992
Save for later
Theory of Recursive Functions and Effective Computability
by Rogers,Howard Poizner,Edward S. Klima,Ursula Bellugi
ISBN 13: 9780262680523
Format: Paperback (504 pages) Publisher: MIT Press Published: 01 Jan 1987
Pre-Algebra DeMYSTiFieD, Second Edition
by Allan G. Bluman
ISBN 13: 9780071742528
Format: Paperback (352 pages) Publisher: McGraw-Hill Professional Published: 01 Dec 2010
Additive Cellular Automata Vol 1: Theory and Applications (Practitioners)
by Parimal Pal Chaudhuri
ISBN 13: 9780818677175
Format: Illustrated (368 pages) Publisher: John Wiley & Sons Published: 27 Jun 1997
Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series)
by Jan Krajíek
ISBN 13: 9780521154338
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 23 Dec 2010
Computability Theory: An Introduction to Recursion Theory
by Herbert B. Enderton
ISBN 13: 9780123849588
Format: Hardcover (192 pages) Publisher: Academic Press Published: 30 Dec 2010
Categories and Commutative Algebra: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna ... 11-21,1971 (C.I.M.E. Summer Schools)
by
ISBN 13: 9783642109782
Format: Paperback (338 pages) Publisher: Springer Published: 30 Nov 2010
Recursion Theory and Computational Complexity: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in ... June 14-23, 1979 (C.I.M.E. Summer Schools)
ISBN 13: 9783642110719
Format: Paperback (236 pages) Publisher: Springer Published: 30 Nov 2010
A Bridge to Advanced Mathematics
by Dennis Sentilles
ISBN 13: 9780486482194
Format: Paperback (416 pages) Publisher: Dover Publications Inc. Published: 18 Aug 2011
Aspects of Mathematical Logic: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), ... 9-17, 1968 (C.I.M.E. Summer Schools)
ISBN 13: 9783642110788
Format: Paperback (285 pages) Publisher: Springer Published: 30 Nov 2010
Gentzen Calculi for Modal Propositional Logic (Trends in Logic)
by Francesca Poggiolesi
ISBN 13: 9789048196692
Format: Hardcover (222 pages) Publisher: Springer Published: 02 Dec 2010
Giuseppe Peano between Mathematics and Logic: Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his ... Mathematico Torino (Italy) October 2-3, 2008
ISBN 13: 9788847018358
Format: Paperback (190 pages) Publisher: Springer Published: 23 Dec 2010