Cargando…

Combinatory logic. Volume II /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Curry, Haskell B. (Haskell Brooks), 1900-1982, Hindley, J. Roger, Seldin, J. P.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; London : North-Holland Pub. Co, 1972.
Colección:Studies in logic and the foundations of mathematics ; v. 65.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo
Tabla de Contenidos:
  • 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�odelian 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.