عنوان
پدید آورنده
موضوع
رده
#QA،#.T34،#1975
#
QA
،#.
T34
،#
1975
کتابخانه
محل استقرار
| ما بقی فیلدها | ، ، ، ، ، ،1،1،8،0444104925،19754،01/04/1381،000 | ||||||||
| شناسگر رکورد | 19754 | ||||||||
| شناسگر ويراست | #5515 | ||||||||
| اطلاعات محلی رکورد | #BL | ||||||||
| زبان اثر | انگلیسی | ||||||||
| عنوان و نام پديدآور | #Proof theory #Gaisi Takeuti | ||||||||
| وضعیت نشر و پخش و غیره | Amsterdam New York : North-Holland Pub. Co. , American Elsevier Pub. Co. #1975 | ||||||||
| مشخصات ظاهری | #vii, 372 p. , 23 cm | ||||||||
| فروست | Studies in logic and the foundations of mathematics , v. 81 | ||||||||
| یادداشتهای مربوط به مندرجات | Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968 | ||||||||
| موضوع (اسم عام یاعبارت اسمی عام) | Proof theory | ||||||||
| رده بندی ديویی |
| ||||||||
| رده بندی کنگره |
| ||||||||
| سایر رده بندی ها | #9.54 | ||||||||
| نام شخص - (مسئولیت معنوی برابر ) | #Takeuti, Gaisi, 1926- |
