Mathematical logic - Ebbinghaus, H. D.; Flum, J.; Thomas, W. Norman (New York Springer-Verlag, 1989)
Keywords: Matematica; Logica Matematica