Russian Constructivism in a Prefascist Theory (Q5145680)
From MaRDI portal
scientific article; zbMATH DE number 7299512
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Russian Constructivism in a Prefascist Theory |
scientific article; zbMATH DE number 7299512 |
Statements
Russian Constructivism in a Prefascist Theory (English)
0 references
21 January 2021
0 references
Markov's principle
0 references
dependent types
0 references
exceptions
0 references
presheaf
0 references
strict propositions
0 references
syntactic model
0 references
