The Calculi of Lambda-Conversion

Alonzo Church (Autor)

Buch | Softcover

77 Seiten

1985
Princeton University Press (Verlag)
978-0-691-08394-0 (ISBN)

Artikel merken

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

Alonzo Church (1903–1995) was a renowned mathematician, logician, and philosopher. Together with his student Alan Turing, he is considered one of the founders of computer science. He is the author of Introduction to Mathematical Logic (Princeton).

*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

Erscheint lt. Verlag	21.1.1985
Reihe/Serie	Annals of Mathematics Studies
Verlagsort	New Jersey
Sprache	englisch
Maße	152 x 229 mm
Gewicht	170 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Analysis
ISBN-10	0-691-08394-0 / 0691083940
ISBN-13	978-0-691-08394-0 / 9780691083940
Zustand	Neuware