The calculi of lambda-conversion
著者
書誌事項
The calculi of lambda-conversion
（Annals of mathematics studies, no. 6）
Edwards Brothers, 1951, c1941
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Reprint. Originally published: Princeton : Princeton University Press, 1941
Includes bibliographical references (p. 73-82)
内容説明・目次
内容説明
The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.
目次
*Frontmatter, pg. i*CONTENTS, pg. v*Chapter I. INTRODUCTORY, pg. 1*Chapter II. LAMBDA-CONVERSION, pg. 8*Chapter III. LAMBDA-DEFINABILITY, pg. 28*Chapter IV. COMBINATIONS, GODEL NUMBERS, pg. 43*Chapter V. THE CALCULI OF lambda-K-CONVERSION AND lambda-delta- CONVERSION, pg. 58*INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION, pg. 72*BIBLIOGRAPHY, pg. 73*CORRECTION AND ADDITIONS, pg. 82
「Nielsen BookData」 より
