From Collapse Theorems to Proof-Theoretic Arguments (Q5889051): Difference between revisions
From MaRDI portal
Set profile property. |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 07:06, 7 March 2024
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