سیستمهای رسمی و توابع بازگشتی: رویهها / ویرایش شده توسط J.N. کراسلی و M.A.E. دامت
| عنوان | سیستمهای رسمی و توابع بازگشتی: رویهها / ویرایش شده توسط J.N. کراسلی و M.A.E. دامت |
|---|---|
| تاریخ انتشار: | 1965 |
| محل انتشار | آمستردام - میخانه هلند شمالی. شرکت، 1965. |
| موضوع | منطق، نمادین و ریاضی -- کنگره ها. |
| نوع | كتاب |
| زبان | عربی |
| دیجیتال | خیر |
| نسخه خطی | خیر |
| تعداد صفحات | 320 |
| ابعاد فیزیکی | 23 cm |
| کتابخانه: | The Institute for Advanced Study (IAS) |
| شماره ثبت | 3100001~!49728~!1852 |
| محل کتابخانه | پشته های ریاضی |
| تاریخ | 1965 |
| یادداشتها | شامل مراجع کتابشناختی.. 320 ص. ; 23 سانتی متر. |
| Seri | Studies in logic and the foundations of mathematics |
