Classical provability of uniform versions and intuitionistic provability (Q5258475)
From MaRDI portal
scientific article; zbMATH DE number 6448817
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Classical provability of uniform versions and intuitionistic provability |
scientific article; zbMATH DE number 6448817 |
Statements
Classical provability of uniform versions and intuitionistic provability (English)
0 references
22 June 2015
0 references
classical provability
0 references
intutionistic provability
0 references
uniformization theorem
0 references
