Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg ``Proof theory as mathesis universalis'', held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24--28, 2017 (Q5971172)
From MaRDI portal
scientific article; zbMATH DE number 7062494
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg ``Proof theory as mathesis universalis'', held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24--28, 2017 |
scientific article; zbMATH DE number 7062494 |
Statements
Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg ``Proof theory as mathesis universalis'', held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24--28, 2017 (English)
0 references
4 June 2019
0 references
