Arithmetic Translations of Axiom Systems (Q5804995)
From MaRDI portal
scientific article; zbMATH DE number 3065837
Language | Label | Description | Also known as |
---|---|---|---|
English | Arithmetic Translations of Axiom Systems |
scientific article; zbMATH DE number 3065837 |
Statements
1951
0 references
foundations, philosophy, logic
0 references
Arithmetic Translations of Axiom Systems (English)
0 references