From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s
by
ISBN 13: 9780195096323
Format: Paperback (352 pages) Publisher: OUP USA Published: 13 Nov 1997
Save for later
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library)
ISBN 13: 9789400700796
Format: Hardcover (424 pages) Publisher: Springer Published: 07 Apr 2011
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
by Christopher John Hogger,D. M. Gabbay,C. Hogger
ISBN 13: 9780198537922
Format: Illustrated (816 pages) Publisher: OUP Oxford Published: 08 Jan 1998
Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)
by Ian Stewart
ISBN 13: 9780486458847
Format: Illustrated (208 pages) Publisher: Dover Publications Inc Published: 12 May 2007 Other Format: Paperback
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
Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series)
by Mikhail J. Atallah, Marina Blanton
ISBN 13: 9781584888208
Format: Illustrated (950 pages) Publisher: Chapman and Hall/CRC Published: 20 Nov 2009
Sets, Functions, and Logic (Chapman & Hall Mathematics)
by Keith Devlin
ISBN 13: 9781584884491
Format: Hardcover (160 pages) Publisher: Chapman and Hall/CRC Published: 24 Nov 2003
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521718202
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 10 Mar 2011
An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)
by George R. R. Exner
ISBN 13: 9780387946177
Format: Illustrated (224 pages) Publisher: Springer Published: 22 Jun 1999
A Student's Guide to Data and Error Analysis
by Herman J. C. Berendsen
ISBN 13: 9780521119405
Format: Hardcover (240 pages) Publisher: Cambridge University Press Published: 07 Apr 2011 Other Format: Paperback
ISBN 13: 9780521134927
Format: Paperback (240 pages) Publisher: Cambridge University Press Published: 07 Apr 2011 Other Format: Hardcover