The system CΔ of combinatory logic (Q5338314)
From MaRDI portal
scientific article; zbMATH DE number 3211075
Language | Label | Description | Also known as |
---|---|---|---|
English | The system CΔ of combinatory logic |
scientific article; zbMATH DE number 3211075 |
Statements
The system CΔ of combinatory logic (English)
0 references
1964
0 references
mathematical logic
0 references