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