A Visit to Tarski’s Seminar on Elimination of Quantifiers

DOI10.1007/978-94-007-0080-2_4zbMATH Open1319.03047OpenAlexW162078602MaRDI QIDQ5246108

Wilfrid Hodges

Publication date: 17 April 2015

Published in: Proof, Computation and Agency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0080-2_4

zbMATH Keywords

elimination of quantifiersAlfred Tarski

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication: A Visit to Tarski’s Seminar on Elimination of Quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5246108)