Preview
Unable to display preview. Download preview PDF.
References
M. J. Beeson. Logic and computation in MATHPERT: An expert system for learning mathematics. To appear in the Proceedings of the MIT Computers and Mathematics Conference, June 1989.
R. Chuaqui and P. Suppes. An equational deductive system for the differential and integral calculus. Technical Report 313, Institute for Mathematical Studies in the Social Sciences, Stanford University, 1989.
D. Richardson. Some undecidable problems involving elementary functions of a real variable. The Journal of Symbolic Logic, 33 (1968) 514–521.
P. Suppes and S. Takahashi. An interactive theorem-prover for continuity properties. Journal of Symbolic Computation, 7 (1989) 573–590.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chuaqui, R., Suppes, P. (1990). An equational deductive system for the differential and integral calculus. In: Martin-Löf, P., Mints, G. (eds) COLOG-88. COLOG 1988. Lecture Notes in Computer Science, vol 417. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52335-9_46
Download citation
DOI: https://doi.org/10.1007/3-540-52335-9_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52335-2
Online ISBN: 978-3-540-46963-6
eBook Packages: Springer Book Archive