Alfred Tarski

Alfred Tarski is the author of books such as Logic Semantics Metamathematics.