عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Advances in Proof Theory
پدید آورنده
\ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
موضوع
Proof theory -- Congresses.
رده
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783319291963
28657
انگلیسی
Advances in Proof Theory
[electronic resources]
\ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
Switzerland
: Birkhäuser
, 2016
xii, 425 p
:ill
Progress in Computer Science and Applied Logic
; v.28
Bibliography
Proof theory -- Congresses.
E-Book
,
Kahle, Reinhard, 1967-
Strahm, Thomas
Studer, Thomas
ایران
9783319291963.pdf
p
BL
279177
1
a
N
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح