Introduction to Logic

Patrick Suppes

Dover Publications Inc.

1957

336 páginas

11h 12m

ISBN-10: 0486406873

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 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.