Mathematical Logic On Numbers, Sets, Structures, and Symmetry /

• Main Author: Kossak, Roman (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Springer Graduate Texts in Philosophy, 3
• Subjects: Mathematics-Philosophy.; Mathematical logic.; Arithmetic and logic units, Computer.; Logic.; Applied mathematics.; Engineering mathematics.; Philosophy of Mathematics.; Mathematical Logic and Foundations.; Arithmetic and Logic Structures.; Applications of Mathematics.

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop th...