Introduction to Logic

Patrick Suppes; Mathematics
 9780486406879
0-486-40687-3

Coherent, well-organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and.

read more…

definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories.