An improved proof procedure.

Bibliographic Details
Main Author: Prawitz, Dag
Format: Book
Published: Copenhagen : Munksgaard E., 1960
Subjects: