MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165)
From MaRDI portal
scientific article; zbMATH DE number 6986404
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | MATHEMATICAL INFERENCE AND LOGICAL INFERENCE |
scientific article; zbMATH DE number 6986404 |
Statements
MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (English)
0 references
29 November 2018
0 references
mathematical inference
0 references
logical inference
0 references
mathematical proof
0 references
formal proof
0 references
formality
0 references
generality
0 references
mechanicality
0 references
0 references
0 references
0 references
0 references
