Logic, semantics, metamathematics by Tarski, Alfred. | Menrva Books