Logic and Structure (Universitext), Dalen, Dirk van