عنوان
پدید آورنده
موضوع
رده
QA9 .G329
QA9
.
G329
کتابخانه
محل استقرار
072042254X
b413724
The collected papers of Gerhard Gentzen.
[Book]
Edited by M. E. Szabo
xii, 338 pages, 2 pages of photographs
23 cm
Studies in logic and the foundations of mathematics
Includes bibliographical references
Logic, Symbolic and mathematical
Metamathematics
164
QA9
.
G329
Gentzen, Gerhard
Szabo, M. E
19790514124108.0
rda
مطالعه متن کتاب [Book]
Y
