Book:Alfred Tarski/Introduction to Logic and to the Methodology of Deductive Sciences

Subject Matter

 * Set Theory
 * Logic
 * Mathematical Logic

Contents

 * Preface
 * From the Preface to the Original Edition


 * First Part: Elements of Logic. Deductive Method.
 * I. On the Use of Variables
 * II. On the Sentential Calculus
 * III. On the Theory of Identity
 * IV. On the Theory of Classes
 * V. On the Theory of Relations
 * '''VI. On the Deductive Method


 * Second Part: Applications of Logic and Methodology in Constructing Mathematical Theories
 * VII. Construction of a Mathematical Theory: Laws of Order for Numbers
 * VIII. Construction of a Mathematical Theory: Laws of Addition and Subtraction
 * IX. Methodological Consderations on the Constructed Theory
 * X. Extension of the Constructed Theory. Foundatons of Arithmetic of Real Numbers


 * Suggested Readings


 * Index