Arithmetic Translations of Axiom Systems

DOI10.2307/1990692zbMath0043.00903OpenAlexW4253268316MaRDI QIDQ5804995

Hao Wang

Publication date: 1951

Full work available at URL: https://doi.org/10.2307/1990692

zbMATH Keywords

foundations, philosophy, logic

Related Items (8)

The categoricity question of certain grand logics ⋮ Logische Kategorien ⋮ Translations and structure for partial propositional calculi ⋮ The Interpretation Existence Lemma ⋮ Certains aspects syntactiques d'une notion de modèle: Relativisation d'une fonction logique de choix ⋮ Tarski on ``essentially richer metalanguages ⋮ On the matter of essential richness ⋮ Truth Definitions and Consistency Proofs

This page was built for publication: Arithmetic Translations of Axiom Systems