Towards mechanical metamathematics

Author:

Publisher website

1 January 1985

journal article
Published by Springer Nature in Journal of Automated Reasoning

Vol. 1 (4) , 407-434
DOI:10.1007/bf00244278

Abstract

No abstract available

Keywords

Cited by 22 articles