The calculi of lambda-conversion

Author(s)

• Church, Alonzo

Bibliographic Information

The calculi of lambda-conversion

by Alonzo Church

（Annals of mathematics studies, no. 6）

Edwards Brothers, 1951, c1941

Note

Reprint. Originally published: Princeton : Princeton University Press, 1941

Includes bibliographical references (p. 73-82)

Description and Table of Contents

Description

The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.

Table of Contents

*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

by "Nielsen BookData"

Details

• NCID: BA58493075
• ISBN:
  • 0691083940
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Ann Arbor
• Pages/Volumes: ii, 82 p.
• Size: 23 cm
• Parent Bibliography ID:
  • BA00300336