In the history of mathematics, Alfred Tarski (1901–1983) is one of the most important logicians. His name is now associated with a number of theorems and concepts in that field.

Theorems

Other mathematics-related work

Other