عنوان
پدید آورنده
موضوع
رده
QA 9.54 .T25G4313 2003
QA
9
.
54
.
T25G4313
2003
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Memoirs of a proof theorist : Godel and other logicians
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Singapore
نام ناشر، پخش کننده و غيره
World Scientific
تاریخ نشرو بخش و غیره
c2003
مشخصات ظاهری
نام خاص و کميت اثر
xviii, 135 p.: ill.
يادداشت کلی
متن يادداشت
"This book is a translation from Japanese of the Sept. 10, 1998 revison of Gaisi Takeuti's Godel, first Published in 1986 by Nippon Hyoron Sha, Tokyo, Japan
متن يادداشت
Original Japanese Title : Gederu
متن يادداشت
Includes bibliographies; also bibliographical footnotes
متن يادداشت
ISBN: 9812382798
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
]by Gaisi Takeuti[; ]translated by[ Mariko Yasugi, Nicholas Passell
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Proof theory
عنصر شناسه ای
، Godel, Kurt Friedrich, 6091-8791
رده بندی کنگره
شماره رده
QA
9
.
54
.
T25G4313
2003
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Takeuti, Gaisi, 6291-
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Yasugi, Mirako
عنصر شناسه اي
AU Passell, Nicholas
عنصر شناسه اي
AU Takeuti, Gaisi, 1926- . Godel
عنصر شناسه اي
TI
