عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Proof theory
پدید آورنده
Takeuti, Gaisi
موضوع
، Proof theory
رده
QA
9
.
54
.
T34
1975
کتابخانه
المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان
محل استقرار
استان:
کرمان
ـ شهر:
کرمان
تماس با کتابخانه :
03433257204
English
Proof theory
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. 18
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968
Includes index
Gaisi Takeuti
1
2
، Proof theory
QA
9
.
54
.
T34
1975
CA
511/
.
3
6291-
Takeuti, Gaisi
AU
TI
SE
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح