عنوان

Combinatory logic. Volume II

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