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