Book | Chapter
Tarski's influence on computer science
pp. 391-404
Abstract
Alfred Tarski's influence on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is Tarski's work on the decision procedure for algebra and geometry, the method of elimination of quantifiers, the semantics of formal languages, model-theoretic preservation theorems, and algebraic logic; various connections of each with computer science are taken up.
Publication details
Published in:
Garrido Angel, Wybraniec-Skardowska Urszula (2018) The Lvov-Warsaw school: past and present. Dordrecht, Springer.
Pages: 391-404
DOI: 10.1007/978-3-319-65430-0_29
Full citation:
Feferman Solomon (2018) „Tarski's influence on computer science“, In: A. Garrido & Wybraniec-Skardowska (eds.), The Lvov-Warsaw school, Dordrecht, Springer, 391–404.