Shoenfield Joseph R.

Mathematical logic - 1967 - p. cm.

19558

Textual

B:(R1), K7