scientific article; zbMATH DE number 1015878

zbMath0874.03035MaRDI QIDQ4338908

Philipp Rothmaler

Publication date: 2 June 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

textbookquantifier eliminationmodel theorycategoricity

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Model theory (03Cxx)