Logic and structure - Dalen, D. van (Universitext, 1980)