From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802)
From MaRDI portal
scientific article; zbMATH DE number 7140440
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From mathematical axioms to mathematical rules of proof: recent developments in proof analysis |
scientific article; zbMATH DE number 7140440 |
Statements
From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (English)
0 references
5 December 2019
0 references
Hilbert's 24th problem
0 references
proof analysis
0 references
proof theory
0 references
0 references
