Logic and structure - Dalen, D. van (Springer,)