عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0080954774
(Number (ISBN
9780080954776
NATIONAL BIBLIOGRAPHY NUMBER
Number
b553144
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Combinatory logic. Volume II
General Material Designation
[Book]
First Statement of Responsibility
[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam ; London
Name of Publisher, Distributor, etc.
North-Holland Pub. Co
Date of Publication, Distribution, etc.
1972
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(520 pages).
SERIES
Series Title
Studies in logic and the foundations of mathematics, v. 65.
CONTENTS NOTE
Text of Note
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.
SUMMARY OR ABSTRACT
Text of Note
Provability, Computability and Reflection.
TOPICAL NAME USED AS SUBJECT
Combinatory logic.
MATHEMATICS -- Infinity.
MATHEMATICS -- Logic.
PERSONAL NAME - PRIMARY RESPONSIBILITY
[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Haskell B Curry
J P Seldin
J Roger Hindley
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
