The faithfulness of the interpretation of arithmetic in the theory of constructions (Q4770943)
From MaRDI portal
scientific article; zbMATH DE number 3446863
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The faithfulness of the interpretation of arithmetic in the theory of constructions |
scientific article; zbMATH DE number 3446863 |
Statements
The faithfulness of the interpretation of arithmetic in the theory of constructions (English)
0 references
1973
0 references
