Introduction to Logic and to the Methodology of Deductive Sciences

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.