Metalogic: An Introduction to the Metatheory of Standard First Order Logic
by Hunter
ISBN 13: 9780520023567
Format: Paperback (302 pages) Publisher: University of California Press Published: 01 Jul 1992
Save for later
Lectures on the Foundations of Mathematics 1939: Cambridge
by Wittgenstein
ISBN 13: 9780226904269
Format: Paperback (300 pages) Publisher: University of Chicago Press Published: 01 Oct 1989
A Classical Introduction to Modern Number Theory: v. 84 (Graduate Texts in Mathematics)
by Kenneth Ireland,Michael Rosen
ISBN 13: 9780387973296
Format: Hardcover (389 pages) Publisher: Springer Published: 01 Aug 1998
Mathematics and Its History (Undergraduate Texts in Mathematics)
by John Stillwell
ISBN 13: 9781441960528
Format: Hardcover (660 pages) Publisher: Springer Published: 01 Aug 2010
Convex Sets and Their Applications
by Steven R. Lay
ISBN 13: 9780486458038
Format: Paperback (256 pages) Publisher: Dover Publications Inc. Published: 29 Jun 2007
From the Calculus to Set Theory 1630-1910: An Introductory History (Princeton Paperbacks)
by
ISBN 13: 9780691070827
Format: Paperback (306 pages) Publisher: Princeton University Press Published: 20 Nov 2000
The Evolution of Logic (The Evolution of Modern Philosophy)
by W. D. Hart
ISBN 13: 9780521766814
Format: Hardcover (312 pages) Publisher: Cambridge University Press Published: 30 Aug 2010 Other Format: Paperback
Handbook of Automated Reasoning: Vol 1
ISBN 13: 9780444829498
Format: Hardcover (996 pages) Publisher: North Holland Published: 21 Jun 2001
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
by Richard W. Kaye
ISBN 13: 9780521708777
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 12 Jul 2007
Thinking as Communicating: Human Development, the Growth of Discourses, and Mathematizing (Learning in Doing: Social, Cognitive and Computational Perspectives)
by Anna Sfard
ISBN 13: 9780521867375
Format: Hardcover (352 pages) Publisher: Cambridge University Press Published: 21 Jan 2008 Other Format: Illustrated
2000 Solved Problems in Discrete Mathematics (SCHAUM)
by Seymour Lipschutz
ISBN 13: 9780070380318
Format: Paperback (432 pages) Publisher: McGraw Hill Published: 01 Jun 1990
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