O'Reilly logo

Good Math by Mark C. Chu-Carroll

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Bibliography

[CGP99]
Edmund M. Clarke Jr., Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.
[CM03]
William F. Clocksin and Christopher S. Mellish. Programming in Prolog: Using the ISO Standard. Springer, New York, NY, USA, Fifth, 2003.
[Cha02]
Gregory J. Chaitin. The Limits of Mathematics: A Course on Information Theory and the Limits of Formal Reasoning. Springer, New York, NY, USA, 2002.
[FFB95]
Daniel P. Friedman, Matthias Felleisen, and Duane Bibby. The Little Schemer. MIT Press, Cambridge, MA, Fourth, 1995.
[Hod98]
Wilfrid Hodges. An editor recalls some hopeless papers. The Bulletin of Symbolic Logic. 4[1], 1998, March.
[Hof99]
Douglas R. Hofstadter. Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books, New York, ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required