mathematical logic; Shoenfield lemmas; Bibliography: Shoenfield, Joseph. Mathematical Logic. Illinois: Association for symbolic logic, 1967.
mathematical logic; Shoenfield lemmas; Bibliography: Shoenfield, Joseph. Mathematical Logic. Illinois: Association for symbolic logic, 1967.