Metamathematical extensibility for theorem verifiers and proof-checkers
- 1 January 1979
- journal article
- Published by Elsevier in Computers & Mathematics with Applications
- Vol. 5 (3) , 217-230
- https://doi.org/10.1016/0898-1221(79)90044-0
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- FOL: A Proof Checker for First-order LogicPublished by Defense Technical Information Center (DTIC) ,1974