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