Login / Signup

A Mechanical Proof Procedure and its Realization in an Electronic Computer.

Dag PrawitzHaåkan PrawitzNeri Voghera
Published in: J. ACM (1960)
Keyphrases