UID:
almahu_9947367929202882
Format:
1 online resource (535 p.)
ISBN:
1-282-30937-4
,
9786612309373
,
0-08-095477-4
Series Statement:
Studies in logic and the foundations of mathematics
Content:
Provability, Computability and Reflection
Note:
Description based upon print version of record.
,
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
,
English
Additional Edition:
ISBN 0-7204-2208-6
Language:
English