Show All
Presents an introduction to of formal mathematical logic and set theory
Presents simple yet nontrivial results in modern model theory
Provides introductory remarks to all results, including a historical background