The following pages link to (Q3464621):
Displaying 5 items.
- Truth and the philosophy of mathematics (Q2080591) (← links)
- About Truth and Types (Q3305551) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)