Introduction To Logic And To The Methodology Of Deductive Sciences by Alfred Tarski & Alfred Tarksi