Publication:4152213
From MaRDI portal
zbMath0375.02005MaRDI QIDQ4152213
No author found.
Publication date: 1977
03B10: Classical first-order logic
08C10: Axiomatic model classes
51M05: Euclidean geometries (general) and generalizations
03B99: General logic
03C68: Other classical first-order model theory
Related Items
A logical study of the correspondence relation, A mathematical characterization of interpretation between theories, A note on syntactical and semantical functions