عنوان
پدید آورنده
موضوع
رده
#QA،#.T34،#1987
#
QA
،#.
T34
،#
1987
کتابخانه
محل استقرار
| ما بقی فیلدها | ، ، ، ، ، ،1،1،8،0444879439،44826،01/04/1381،000 | ||||||||
| شناسگر رکورد | 44826 | ||||||||
| شناسگر ويراست | #23995 | ||||||||
| اطلاعات محلی رکورد | #BL | ||||||||
| زبان اثر | انگلیسی | ||||||||
| عنوان و نام پديدآور | #Proof theory #Gaisi Takeuti | ||||||||
| وضعیت ویراست | #2nd ed | ||||||||
| وضعیت نشر و پخش و غیره | Amsterdam , New York North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co #1987 | ||||||||
| مشخصات ظاهری | #x, 490 p., 23 cm | ||||||||
| فروست | Studies in logic and the foundations of mathematics , v. 81 | ||||||||
| یادداشتهای مربوط به کتابنامه،واژه نامه و نمایه های داخل اثر | #Bibliography: p. 481-485 | ||||||||
| یادداشتهای مربوط به مندرجات | Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968،Includes index | ||||||||
| موضوع (اسم عام یاعبارت اسمی عام) | Proof theory | ||||||||
| رده بندی ديویی |
| ||||||||
| رده بندی کنگره |
| ||||||||
| سایر رده بندی ها | #9.54 | ||||||||
| نام شخص - (مسئولیت معنوی برابر ) | #Takeuti, Gaisi, 1926- |
