阿尔弗雷德·塔斯基 初等代数和几何的一种判定方法。 （英语） Zbl 0900.03045号 Caviness，Bob F.（编辑）等人，量词消除和柱面代数分解。研讨会记录，奥地利林茨，1993年10月6日至8日。维恩：施普林格。符号计算中的文本和专著。24-84 (1998). 再版：初等代数和几何的一种判定方法。第二版（1951年；Zbl 0044.25102号).关于整个系列，请参见[Zbl 0906.03033号]. 引用于1审查引用于44文件 MSC公司： 03C10号机组 量词消除、模型完整性和相关主题 12升05 可判定性与场理论 01A75号 收集或选择的作品；经典作品的重印或翻译 引文：Zbl 0044.25102号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarski}，in：量词消除和柱面代数分解。研讨会记录，奥地利林茨，1993年10月6-8日。维恩：施普林格。24-84（1998年；Zbl 0900.03045）