|
" Combinatory logic. Volume II "
[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
733347
|
| Doc. No
|
:
|
b553144
|
| Main Entry
|
:
|
[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
|
| Title & Author
|
:
|
Combinatory logic. Volume II\ [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
|
| Publication Statement
|
:
|
Amsterdam ; London: North-Holland Pub. Co, 1972
|
| Series Statement
|
:
|
Studies in logic and the foundations of mathematics, v. 65.
|
| Page. NO
|
:
|
(520 pages).
|
| ISBN
|
:
|
0080954774
|
|
|
:
|
: 9780080954776
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
Provability, Computability and Reflection.
|
| Subject
|
:
|
Combinatory logic.
|
| Subject
|
:
|
MATHEMATICS -- Infinity.
|
| Subject
|
:
|
MATHEMATICS -- Logic.
|
| Added Entry
|
:
|
Haskell B Curry
|
|
|
:
|
J P Seldin
|
|
|
:
|
J Roger Hindley
|
| |