عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
پدید آورنده
edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
موضوع
، Proof theory
رده
QA
9
.
54
.
L4
1990
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
1990 : Leeds University
Cambridge
Cambridge University Press
c1992
x, 306 p
Includes bibliographies
ISBN 052141413X
edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
1
، Proof theory
QA
9
.
54
.
L4
1990
CA
511
.
3
AU
AU Aczel, Peter, 1941-
AU Simmons, Harold
AU Wainer, S. S.
TI
Leeds Proof Theory Programme
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح