1901-1983 AD Alfred Tarski [WLT] Wikipedia link Stanford Encyclopedia of Philosophy link A Decision Method for Elementary Algebra and Geometry