معرفی و ارزیابی کتاب
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Peter Aczel, Harold Simmons, Stanley S. Wainer
English
Unordered
دسته بندی نشده
0.0 / 5
0 نظر
1993
سال انتشار
316 / 316
صفحه
1
بازدید
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both
پیش از خواندن
این کتاب چه چیزی به شما میدهد؟
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
از این کتاب بپرس
پرسشت با عنوان و نویسنده همین کتاب برای دستیار ارسال میشود. هر پاسخ ۲ امتیاز مصرف میکند.
وارد شوید تا بتوانید از دستیار کتاب بپرسید.
نظر خوانندگان
0 نظر، میانگین 0.0 از ۵
هنوز نظری ثبت نشده
اگر این کتاب را خواندهاید، تجربهتان را با دیگران به اشتراک بگذارید.
نظر خودت را بنویس
وارد شوید تا نظر خود را ثبت کنید.
پرسش و پاسخ خوانندگان
سؤال مشخص بپرس و از تجربه جامعه استفاده کن.
وارد شوید تا سؤال بپرسید یا پاسخ بدهید.
هنوز پرسشی ثبت نشده
اولین سؤال روشن و مفید را شما مطرح کنید.