The Calculi of Lambda-conversion

Front Cover
Princeton University Press, Jan 21, 1985 - Mathematics - 77 pages

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

 

What people are saying - Write a review

User Review - Flag as inappropriate

This book should be off copyright and offered to the public as a out of copyright work.
Church has been dead for 34 years, and Princton is the only institution making money off of this and likely not
very much money.
I call out that this is BS that this book is completely open and free to use in classrooms, personal studies, etc.
 

Contents

INTRODUCTORY
1
LAMBDACONVERSION
8
Continued
22
LAMBDADEFINABILITY
28
COMBINATIONS GODEL NUMBERS
43
THE CALCULI OP AKCONVERSION AND A6
58
Index of the principal formulas introduced by definition
72
Corrections and additions
82
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information