Klao comments on Proofs, Implications, and Models

[Klao]

In Hungary this (model theory and co.) is part of the standard curriculum for Mathematics BSc. Or at least was in my time.