Mathematical Logic : On Numbers

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