Truth and the philosophy of mathematics (Q2080591)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Truth and the philosophy of mathematics |
scientific article |
Statements
Truth and the philosophy of mathematics (English)
0 references
9 October 2022
0 references
axiomatic theories of truth
0 references
typed theory
0 references
Kripke-Feferman theory
0 references
