Logic and Structure by D Van Dalen