1 option
The Calculi of Lambda Conversion. (AM-6), Volume 6 / Alonzo Church.
De Gruyter Princeton University Press eBook Package Archive 1927-1999 Available online
De Gruyter Princeton University Press eBook Package Archive 1927-1999- Format:
- Book
- Author/Creator:
- Church, Alonzo, author.
- Series:
- Annals of mathematics studies ; Number 6.
- Annals of Mathematics Studies ; 294
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Recursive functions.
- Physical Description:
- 1 online resource (89 pages).
- Place of Publication:
- Princeton, NJ : Princeton University Press, [2016]
- Language Note:
- In English.
- Summary:
- The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.
- 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
- Notes:
- Includes bibliographical references and index.
- Description based on online resource; title from PDF title page (publisher's Web site, viewed 08. Jul 2019)
- ISBN:
- 9781400881932
- 1400881935
- OCLC:
- 979581035
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.