عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Structural proof theory
پدید آورنده
Negri, Sara,Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
موضوع
، Proof theory
رده
QA
9
.
54
.
N4S8
کتابخانه
كتابخانه و مركز اسناد دانشگاه كردستان
محل استقرار
استان:
کردستان
ـ شهر:
سنندج
تماس با کتابخانه :
33624006
-
087
26179
Negri, Sara
7691-
Structural proof theory
Cambridge ; New York
Cambridge University Press
2001
xvii, 257 p. ; 24 cm.
Includes bibliographical references )p. 245-249( and indexes
، Proof theory
511
.
3
QA
9
.
54
.
N4S8
AU
Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
AU naJ ,otalP noV
ه مرکزیانابخن کتش التیبخ
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح