Towards mechanical metamathematics

• 1 January 1985
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 1  (4)
• https://doi.org/10.1007/bf00244278

Abstract

Keywords

• METAMATHEMATICS
• MATHEMATICAL LOGIC
• AUTOMATIC THEOREM PROVING
• METAMATHEMATICAL EXTENSIBILITY
• AUTOMATIC PROOF-CHECKING
• TAUTOLOGY THEOREM