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