Bemærk: Kan ikke leveres før jul.
The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability,... Læs mere
Bemærk: Kan ikke leveres før jul.
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.