The Strength of Nonstandard Analysis
by
ISBN 13: 9783211998922
Format: Paperback (421 pages) Publisher: Springer Published: 13 Oct 2010
Save for later
The Nature of Computation
by Cristopher Moore, Stephan Mertens
ISBN 13: 9780199233212
Format: Hardcover (1032 pages) Publisher: OUP Oxford Published: Jun 2011
Principia Mathematica to *56 (Cambridge Mathematical Library)
by Alfred North Whitehead, Bertrand Russell
ISBN 13: 9780521626064
Format: Paperback (460 pages) Publisher: Cambridge University Press Published: 11 Sep 1997
Sweet Reason: A Field Guide to Modern Logic
by James M. Henle, Jay L. Garfield, Thomas Tymoczko
ISBN 13: 9781444337150
Format: Paperback (424 pages) Publisher: John Wiley & Sons Published: 26 Aug 2011
Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)
by Murray R. Bremner
ISBN 13: 9781439807026
Format: Hardcover (332 pages) Publisher: CRC Press Published: 08 Sep 2011
Math Work Stations: Independent Learning You Can Count On, K-2
by Debbie Diller
ISBN 13: 9781571107930
Format: Spiral-bound (299 pages) Publisher: Stenhouse Pub Published: 31 Dec 2010
Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)
by Deborah Nolan,Terry P. Speed
ISBN 13: 9780387989747
Format: Illustrated (301 pages) Publisher: Springer Published: 22 Feb 2009
From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics (Synthese Library)
ISBN 13: 9789048145546
Format: Paperback (488 pages) Publisher: Springer Published: 16 Nov 2010
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
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
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642216909
Format: Paperback (257 pages) Publisher: Springer Published: 23 May 2011
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
by Alan P. Parkes
ISBN 13: 9781852334642
Format: Paperback (304 pages) Publisher: Springer Published: 26 Apr 2002