Combinatory Logic
1st Edition
Published on 30. June 2014
535 pages
978-0-08-095477-6 (ISBN)
Description
Combinatory Logic
More details
Series
Language
English
Place of publication
Amsterdam
Netherlands
ISBN-13
978-0-08-095477-6 (9780080954776)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions
E-Book
05/2014
2nd Edition
Elsevier
€215.00
Available for download
Additional editions
Lev D. Beklemishev
Provability, Computability and Reflection: Volume 65
Book
04/2000
Elsevier
€252.55
Article exhausted; check different version
Content
- 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 Functionality
- A. 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
