Course of Mathematical Logic: v. 2 door Fra ss, R.