From Collapse Theorems to Proof-Theoretic Arguments (Q5889051)
From MaRDI portal
scientific article; zbMATH DE number 7679291
Language | Label | Description | Also known as |
---|---|---|---|
English | From Collapse Theorems to Proof-Theoretic Arguments |
scientific article; zbMATH DE number 7679291 |
Statements
From Collapse Theorems to Proof-Theoretic Arguments (English)
0 references
26 April 2023
0 references
existence
0 references
identity
0 references
quantification
0 references
collapse theorems: verbal disputes
0 references