Mathematical logic: on numbers, sets, structures, and symmetry
Auteur :
Kossak, Roman
Éditeur :
Springer International Publishing AG
ISBN :
9783031562143
Date de publication :
19 avr. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Part I, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics.