-
RecordNumber
6908
-
Author
Gentzen, Gerhard
-
Title
The collected papers of Gerhard Gentzen
-
Author Statement
Edited by M. E. Szabo.
-
Publication
Amsterdam : North-Holland Pub. Co.
-
Publication Year
1969
-
Collation
xii, 338 p.
-
Series
Studies in logic and the foundations of mathematics
-
Notes
Includes bibliographical references
-
Subject
Logic, Symbolic and mathematical , Metamathematics
-
ADDED ENTRIES
AU Szabo, M. E.,
-
Main class
164
-
ISBN
072042254X
-
Link To Document :
