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
    0 references
    0 references
    1973
    0 references
    0 references
    0 references