Pages that link to "Item:Q5804995"
From MaRDI portal
The following pages link to Arithmetic Translations of Axiom Systems (Q5804995):
Displaying 8 items.
- On the matter of essential richness (Q815020) (← links)
- Translations and structure for partial propositional calculi (Q1211980) (← links)
- Tarski on ``essentially richer'' metalanguages (Q1283316) (← links)
- Certains aspects syntactiques d'une notion de modèle: Relativisation d'une fonction logique de choix (Q2540887) (← links)
- The categoricity question of certain grand logics (Q2651477) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- Logische Kategorien (Q5632565) (← links)
- Truth Definitions and Consistency Proofs (Q5812184) (← links)