Mathematical logic, also known as symbolic logic, is the study of deductive argument, and of the structure and relations of statements. This text gives a mathem... » 

Mathematical logic, also known as symbolic logic, is the study of deductive argument, and of the structure and relations of statements. This text gives a mathematically rigorous but concise development of the basic concept of mathematical logic. «