Introduction to Logic and to the Methodology of the Deductive Sciences

   page       BibTeX_logo.png   
Alfred Tarski, Jan Tarski
Oxford Logic Guides 24
Oxford University Press, New York, NY, USA
1994

The fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the applications of logic in theory building. A short biographical sketch of Alfred Tarski is a newly-added section.