An improved proof procedure.

Bibliographic Details
Main Author: Prawitz, Dag
Format: Book
Published: Copenhagen : Munksgaard E., 1960
Subjects:
Description
Item Description:Encuadernado con: Ifs and cans / P. H. Nowell Smith -- An improved proof procedure / Dag Prawitz -- Discussions
Physical Description:102-139 p.