Haåkan Prawitz

Publication Activity (10 Years)

Years Active: 1960-1960
Publications (10 Years): 0

Publications

Dag Prawitz, Haåkan Prawitz, Neri Voghera
A Mechanical Proof Procedure and its Realization in an Electronic Computer. J. ACM 7 (2) (1960)