A Mechanical Proof Procedure and its Realization in an Electronic Computer

Dag Prawitz, HaƄkan Prawitz, Neri Voghera. A Mechanical Proof Procedure and its Realization in an Electronic Computer. Journal of the ACM, 7(2):102-128, 1960. [doi]

Abstract

Abstract is missing.