50
Views
1
CrossRef citations to date
0
Altmetric
Original Articles

The Logical Structure of Computer-Aided Mathematical Reasoning

Pages 632-646 | Published online: 10 Apr 2018

REFERENCES

  • 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.
  • Barwise, J. and Etchemendy, L. Hyperproof, CSLI Publications, 1994.
  • Barwise, J. and Perry, J. Situations and Attitudes, MIT Press, 1983.
  • Casti, J. Confronting Science's Logical Limits, Scientific American, October 1996, pp. 102–105.
  • Dalen, D. van Logic and Structure, Springer-Verlag, 1980.
  • Devlin, K. Logic and Information, Cambridge University Press, 1991.
  • Devlin, K. Goodbye Descartes: The End of Logic and the Search for a New Cosmology of the Mind, John Wiley, 1997.
  • Popper, K. Conjectures and Refutations: The Growth of Scientific Knowledge, Basic Books, 1993.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.