Russell's 1903 - 1905 Anticipation of the Lambda Calculus (Q4448890)
From MaRDI portal
scientific article; zbMATH DE number 2045906
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Russell's 1903 - 1905 Anticipation of the Lambda Calculus |
scientific article; zbMATH DE number 2045906 |
Statements
Russell's 1903 - 1905 Anticipation of the Lambda Calculus (English)
0 references
23 March 2004
0 references
functional notation
0 references
lambda abstraction
0 references
Russell
0 references
history of logic
0 references
0 references
