The logical structure of computer-aided mathematical reasoning

American Mathematical Monthly

Volumn 104, Issue 7, 1997, Pages 632-646

  Devlin, Keith ^a  

^a SAINT MARY'S COLLEGE OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031484344     PISSN: 00029890     EISSN: None     Source Type: Journal    
DOI: 10.2307/2975057     Document Type: Article

References (8)

1. Barwise, J. and Etchemendy, J. Information, Infons, and Inference, in Cooper, Mukai, and Perry (editors), Situation Theory and Its Applications, Vol.1, Stanford University: CSLI Lecture Notes 22, 1990.
2. Barwise, J. and Etchemendy, L. Hyperproof, CSLI Publications, 1994.
3. Barwise, J. and Perry, J. Situations and Attitudes, MIT Press, 1983.
4. Casti, J. Confronting Science's Logical Limits, Scientific American, October 1996, pp. 102-105.
5. Dalen, D. van Logic and Structure, Springer-Verlag, 1980.
6. Devlin, K. Logic and Information, Cambridge University Press, 1991.
7. Devlin, K. Goodbye Descartes: The End of Logic and the Search for a New Cosmology of the Mind, John Wiley, 1997.
8. Popper, K. Conjectures and Refutations: The Growth of Scientific Knowledge, Basic Books, 1993.