Dag Prawitz
Dag Prawitz, HÃ¥kan Prawitz, and Neri Voghera.
A mechanical proof procedure and its realization in an electronic computer.
Journal of the ACM
, 7(2):102-128, April 1960.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database