Pages that link to "Item:Q5734415"
From MaRDI portal
The following pages link to 1 — Consistency and faithful interpretations (Q5734415):
Displaying 4 items.
- European Summer Meeting of the Association for Symbolic Logic (Q3677726) (← links)
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency (Q5486248) (← links)
- A survey of proof theory (Q5569099) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)