发表于2024-12-26
Introduction to Logic 2024 pdf epub mobi 电子书
图书标签: 逻辑 非小说 集合论 苏佩斯 编程 数理逻辑 Math,MathLogic,SetTheory
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.
Introduction to Logic 2024 pdf epub mobi 电子书