The following pages link to TRUTH AND SPEED-UP (Q2940877):
Displaying 7 items.
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- THE EXPRESSIVE POWER OF TRUTH (Q5259727) (← links)
- MODELS OF POSITIVE TRUTH (Q5381034) (← links)
- MODELS OF PT<sup>–</sup> WITH INTERNAL INDUCTION FOR TOTAL FORMULAE (Q5737967) (← links)