Foundations without Foundationalism: A Case for Second-Order Logic (Oxford logic guides)
by Stewart Shapiro
ISBN 13: 9780198250296
Format: Paperback (304 pages) Publisher: OUP Oxford Published: 23 Mar 2000
Save for later
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
by Leonid Libkin
ISBN 13: 9783540212027
Format: Hardcover (318 pages) Publisher: Springer Published: 02 Jul 2004
Complex Abelian Varieties (Grundlehren der mathematischen Wissenschaften)
by Christina Birkenhake,Herbert Lange
ISBN 13: 9783540204886
Format: Hardcover (655 pages) Publisher: Springer Published: 22 Apr 2004
Multiplicative Number Theory: v. 74 (Graduate Texts in Mathematics)
by Harold Davenport
ISBN 13: 9780387950976
Format: Hardcover (177 pages) Publisher: Springer Published: 01 Dec 2000
A Structural Account of Mathematics
by Charles S. Chihara
ISBN 13: 9780199228072
Format: Paperback (394 pages) Publisher: Clarendon Press Published: 17 May 2007
Russell, Idealism, and the Emergence of Analytic Philosophy (Clarendon Paperbacks)
by Peter Hylton
ISBN 13: 9780198240181
Format: Paperback (440 pages) Publisher: Clarendon Press Published: 26 Nov 1992
Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))
by Kurt Gödel
ISBN 13: 9780195147223
Format: Paperback (560 pages) Publisher: OUP USA Published: 28 Jun 2001
Galois Cohomology (Springer Monographs in Mathematics)
by Jean-Pierre Serre
ISBN 13: 9783540421924
Format: Hardcover (220 pages) Publisher: Springer Published: 23 Oct 2001
Homology (Classics in Mathematics)
by Saunders MacLane
ISBN 13: 9783540586623
Format: Paperback (422 pages) Publisher: Springer Published: 15 Feb 1995
Introduction to Set Theory (Pure and Applied Mathematics)
by Karel Hrbacek,Thomas Jech
ISBN 13: 9780824779153
Format: Hardcover (310 pages) Publisher: CRC Press Published: 22 Jun 1999
Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics)
by Thomas Jech
ISBN 13: 9783540440857
Format: Hardcover (772 pages) Publisher: Springer Published: 18 Oct 2002
Access Control, Security and Trust: A Logical Approach (Chapman & Hall/CRC Cryptography and Network Security Series)
by Shiu-Kai Chin,Susan Beth Older
ISBN 13: 9781584888628
Format: Hardcover (351 pages) Publisher: Chapman and Hall/CRC Published: 03 Aug 2010