Good Math

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, ...