scientific article; zbMATH DE number 3735781
From MaRDI portal
Publication:3922653
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Quantifier elimination, model completeness, and related topics (03C10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to field theory (12-01) Connections between field theory and logic (12L99)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3922653)
