Tarski, Alfred
Abstract Alfred Tarski (1901-1983) is unanimously recognised as one of the greatest logicians in history. His contributions range from set theory to model theory, from the semantics of formal languages to the foundations of geometry, from the algebra of logic…