عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
0080954774
شابک
9780080954776
شماره کتابشناسی ملی
شماره
b553144
عنوان و نام پديدآور
عنوان اصلي
Combinatory logic. Volume II
نام عام مواد
[Book]
نام نخستين پديدآور
[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam ; London
نام ناشر، پخش کننده و غيره
North-Holland Pub. Co
تاریخ نشرو بخش و غیره
1972
مشخصات ظاهری
نام خاص و کميت اثر
(520 pages).
فروست
عنوان فروست
Studies in logic and the foundations of mathematics, v. 65.
یادداشتهای مربوط به مندرجات
متن يادداشت
Front Cover; Combinatory Logic; Copyright Page; Table of Contents; Preface; Explanation of Notations; Chapter 11 Addenda to Pure Combinatory Logic; A. Preliminaries; B. The weak theory of combinators; C. Bracket abstraction; D. The synthetic theory of combinators; E. Strong reduction; F. C-systems; Chapter 12 Foundations of the Illative Theory; A. Illative systems in general; B. Proper illative systems; C. Inferential systems for 2; D. CL-systems; Chapter 13 Combinatory Arithmetic; A. Foundations; B. Gödelian epitheory; C. Combinatory syntax; D. Typed combinatory arithmetic. Chapter 14 The Theory of FunctionalityA. Preliminaries; B. Properties of F-deductions; C. Deductive theory of F1; D.A?-Formulation; E. An L-Formulation; F. The system F12; Chapter 15 The Theory of Restricted Generality; A. The systern F20; B. Deductive theory of F2; C. Finite formulations; D. The predicate calculus; Chapter 16 The Theory of Universal Generality; A. The system F30; B. Deductive theory of F31; C. Deductive theory of F32; D. Finite formulations; Chapter 17 Combinatory Type Theory; A. Formulations; B. Valuations and models; C. Kinds of type theory; Bibliography; Index.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Provability, Computability and Reflection.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Combinatory logic.
موضوع مستند نشده
MATHEMATICS -- Infinity.
موضوع مستند نشده
MATHEMATICS -- Logic.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Haskell B Curry
مستند نام اشخاص تاييد نشده
J P Seldin
مستند نام اشخاص تاييد نشده
J Roger Hindley
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
