Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by J. Roger Hindley
ISBN 13: 9780521465182
Format: Hardcover (200 pages) Publisher: Cambridge University Press Published: 31 Jul 1997
Save for later
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
Categorical Decomposition Techniques in Algebraic Topology: International Conference in Algebraic Topology, Isle of Skye, Scotland, June 2001 (Progress in Mathematics)
by
ISBN 13: 9783764304003
Format: Hardcover (302 pages) Publisher: Birkhauser Published: 27 Nov 2003
First Steps in Modal Logic
by Sally Popkorn
ISBN 13: 9780521057936
Format: Paperback (332 pages) Publisher: Cambridge University Press Published: 28 Jan 2008
The Decomposition of Primes in Torsion Point Fields (Lecture Notes in Mathematics)
by Clemens Adelmann
ISBN 13: 9783540420354
Format: Paperback (147 pages) Publisher: Springer Published: 22 May 2001
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: v. 1 (Synthese Library)
ISBN 13: 9780792343837
Format: Hardcover (552 pages) Publisher: Springer Published: 31 Dec 1996
Algorithmic Number Theory: Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings (Lecture Notes in Computer Science)
ISBN 13: 9783540646570
Format: Paperback (640 pages) Publisher: Springer Published: 05 Jun 1998 Other Format: Hardcover
Heegner Modules and Elliptic Curves (Lecture Notes in Mathematics)
by Martin L. Brown
ISBN 13: 9783540222903
Format: Paperback (517 pages) Publisher: Springer Published: 15 Jul 2004
Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)
by Howard Straubing
ISBN 13: 9780817637194
Format: Hardcover (240 pages) Publisher: Birkhauser Published: 03 May 1994
The Number Sense: How the Mind Creates Mathematics
by Stanislas Dehaene
ISBN 13: 9780195132403
Format: Paperback (288 pages) Publisher: Oxford University Press Inc Published: 31 Jan 2000 Other Format: Paperback
Algebraic Geometry and Arithmetic Curves (Oxford Graduate Texts in Mathematics (0-19-961947-6))
by Qing Liu
ISBN 13: 9780198502845
Format: Hardcover (592 pages) Publisher: Oxford University Press Published: 09 May 2002
Categories for Software Engineering
by Jose Luiz Fiadeiro
ISBN 13: 9783540209096
Format: Hardcover (250 pages) Publisher: Springer Published: 18 Oct 2004