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!
|
| Other title: | 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 |
|---|---|
| Summary: | The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming. |
| Format: | Mode of access: Internet via World Wide Web. |
| ISBN: | 9781400881932 9783110494914 9783110442496 |
| DOI: | 10.1515/9781400881932 |
| Access: | restricted access |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | Alonzo Church. |