Prolegomena to a theory of mechanized formal reasoning
- 1 April 1980
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 13 (1-2) , 133-170
- https://doi.org/10.1016/0004-3702(80)90015-6
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Transfinite recursive progressions of axiomatic theoriesThe Journal of Symbolic Logic, 1962