|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910154753003321 |
|
|
Autore |
Church Alonzo |
|
|
Titolo |
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Princeton, NJ : , : Princeton University Press, , [2016] |
|
©1985 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (89 pages) |
|
|
|
|
|
|
Collana |
|
Annals of Mathematics Studies ; ; 294 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Recursive functions |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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 |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming. |
|
|
|
|
|
|
|