An improved proof procedure.

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

MARC

LEADER 00000nam a2200000 4500
005 20160908121947.0
100 1 |9 13765  |a Prawitz, Dag 
245 1 3 |a An improved proof procedure. 
260 |a Copenhagen :   |b Munksgaard E.,   |c 1960 
300 |a 102-139 p. 
500 |a Encuadernado con: Ifs and cans / P. H. Nowell Smith -- An improved proof procedure / Dag Prawitz -- Discussions 
650 4 |a Lógica matemática y fundamentos 
942 |c LIBRO 
999 |c 1536  |d 1536