Logic and structure - Dalen, Dirk van (Springer, 1983)