-
RecordNumber
96145
-
Author
Gentzen, Gerhard
-
Title
The collected papers of Gerhard Gentzen
-
Editor
edited by M. E. Szabo
-
Publication
Amsterdam : North-Holland
-
Publication Year
c1969
-
Collation
xii, 338 p., 2 p. of photos.
-
Series
Studies in logic and the foundations of mathematics
-
Bibliography
Includes bibliographies
-
Subject
Logic, Symbolic and mathematical , Metamathematics
-
ADDED ENTRIES
AU Szabo, M. E.,
-
Main Class
164
-
Cutter no
C697
-
ISBN
---
-
واردكننده اطلاعات
شيرين السادات خليفه سلطاني
-
Link To Document :
