Mathematical logic: exercises and solutions
Auteur :
Csirmaz, Laszlo / Gyenis, Zalán
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030790127
Date de publication :
16 mars 2023
Dimensions :
25,4 x 17,8 cm
Langue :
Anglais
Pays d'origine :
Suisse
The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleene’s theorems).