No label defined (Q3598576)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
3 February 2009
0 references
proof
0 references
mathematics and philosophy
0 references
mathematical truth
0 references
intuition
0 references
axiomatics
0 references
proof and the computer
0 references
