Presents an introduction to of formal mathematical logic and set theoryPresents simple yet nontrivial results in modern model theoryProvides introductory remarks to all results, including a historical background
"{{ opinion }}"