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