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 an​d the foundations of mathematics

Bibliography

Includes bibliographies

Subject

Logic, Symbolic an​d mathematical , Metamathematics

ADDED ENTRIES

AU Szabo, M. E.,

Main Class

164

Cutter no

C697

ISBN

---

واردكننده اطلاعات

شيرين السادات خليفه سلطاني