عنوان
پدید آورنده
موضوع
رده
QA9.54 .L44 1990
QA9
.
54
.
L44
1990
کتابخانه
محل استقرار
شابک
شرايط تهيه و بها
(hardcover)
شابک
052141413X
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Proof theory :
نام عام مواد
[Book]
ساير اطلاعات عنواني
a selection of papers from the Leeds Proof Theory Programme, 1990 /
نام نخستين پديدآور
edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Cambridge University Press,
تاریخ نشرو بخش و غیره
1992
مشخصات ظاهری
نام خاص و کميت اثر
x, 306 p. ;
ابعاد
24 cm
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
یادداشتهای مربوط به مندرجات
متن يادداشت
Basic proof theory / S. Wainer and L. Wallen -- A short course in ordinal analysis / W. Pohlers -- Proofs as programs / H. Schwichtenberg -- A simplified version of local predicativity / W. Bucholz -- A note on bootstrapping intuitionistic bounded arithmetic / S. Buss -- Termination orderings and complexity characterisations / E. Cichon -- Logics for termination and correctness of functional programs, II. Logics of strength PRA / S. Feferman -- Reflecting the semantics of reflected proof / D. Howe -- Fragments of Kripke-Platek set theory with infinity / Michael Rathjen -- Provable computable selection functions on abstract structures / J. Tucker and J. Zucker
بدون عنوان
0
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Proof theory
رده بندی کنگره
شماره رده
QA9
.
54
نشانه اثر
.
L44
1990
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Aczel, Peter,1941-
مستند نام اشخاص تاييد نشده
Simmons, Harold
مستند نام اشخاص تاييد نشده
Wainer, S. S
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
Leeds Proof Theory Programme(1990 :, Leeds University)
مبدا اصلی
تاريخ عمليات
19960724155118.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
