A note on proofs of falsehood (Q3770530)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on proofs of falsehood |
scientific article |
Statements
A note on proofs of falsehood (English)
0 references
1987
0 references
relative consistency
0 references
cut
0 references
depth of a proof
0 references