This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
Allen, J. and Luckham, D., ‘An interactive theorem-proving program’, in B. Meltzer and D. Michie (eds.),Machine Intelligence 5, American Elsevier, New York, 1970.
Goldberg, A., ‘A generalized instructional system for teaching elementary mathematical logic’, Technical Report No. 179, October 11, 1971, Stanford University, Institute for Mathematical Studies in the Social Sciences.
Goldberg, A., ‘Computer-assisted instruction: The application of theorem-proving to adaptive response analysis’, Doctoral dissertation, University of Chicago, Chicago, Illinois, forthcoming.
Suppes, P., ‘Computer-assisted instruction at Stanford’, Technical Report No. 174, May 19, 1971, Stanford University, Institute for Mathematical Studies in the Social Sciences. Reprinted inMan and Computer. Proceedings of International Conference, Bordeaux, 1970. Karger, Basel, pp. 298–330.
Suppes, P. and Binford, F., ‘Experimental teaching of mathematical logic in the elementary schools’,The Arithmetic Teacher, 1965,12, 187–195.
Suppes, P. and Ihrke, C., ‘Accelerated program in elementary-school mathematics—the fourth year’,Psychology in the Schools, 1970,7, 111–126.
This research has been supported by the National Science Foundation under Grant NSF GJ-443X2. We very much appreciate the assistance of Stephen A. Weyer in preparing this report for publication.
About this article
Cite this article
Goldberg, A., Suppes, P. A computer-assisted instruction program for exercises on finding axioms. Educ Stud Math 4, 429–449 (1972). https://doi.org/10.1007/BF00566999
- Instruction Program