INFORMAL PROOF, FORMAL PROOF, FORMALISM (Q2804472)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | INFORMAL PROOF, FORMAL PROOF, FORMALISM |
scientific article |
Statements
INFORMAL PROOF, FORMAL PROOF, FORMALISM (English)
0 references
29 April 2016
0 references
fromalism
0 references
formal proof
0 references
0 references