Alfred tarski

• introduction to logic