The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church.
The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2016] ©1985 |
| Year of Publication: | 2016 |
| Language: | English |
| Series: | Annals of Mathematics Studies ;
6 |
| Online Access: | |
| Physical Description: | 1 online resource (77 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Frontmatter
- CONTENTS
- Chapter I. INTRODUCTORY
- Chapter II. LAMBDA-CONVERSION
- Chapter III. LAMBDA-DEFINABILITY
- Chapter IV. COMBINATIONS, GÖDEL NUMBERS
- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION
- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION
- BIBLIOGRAPHY
- CORRECTION AND ADDITIONS