Introduction to Symbolic Logic and Its Applications

This book is one of the clearest, most comprehensive and rigorous introductions to modern symbolic logic available in any language. Professor Carnap, a world authority on symbolic logic, develops the subject from elementary concepts and simple exercises through the construction and analysis of a number of relatively complex logical languages. He then considers, in great detail, the application of symbolic logic to the clarification and axiomatization of various theories in mathematics, phys...