Leon Chwistek, The Principles of the Pure Type Theory (1922), translated by Adam Trybus with an Introductory Note by Bernard Linsky (Q4983324)
From MaRDI portal
scientific article; zbMATH DE number 6419599
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Leon Chwistek, The Principles of the Pure Type Theory (1922), translated by Adam Trybus with an Introductory Note by Bernard Linsky |
scientific article; zbMATH DE number 6419599 |
Statements
Leon Chwistek, The Principles of the Pure Type Theory (1922), translated by Adam Trybus with an Introductory Note by Bernard Linsky (English)
0 references
25 March 2015
0 references
Chwistek
0 references
Russell
0 references
axiom of reducibility
0 references
