A course in mathematical logic - Bell, John L. 1945-; Machover, Moshé (North-Holland Publ. Co., 1977)
Keywords: Logica Matematica; Logique symbolique et mathématique; Wiskundige logica; Logic, Symbolic and mathematical; Modelltheorie; Ultraprodukt; Mathematische Logik