A course in mathematical logic - Bell, J. L. (John Lane); Machover, Moshé (Amsterdam : North-Holland, 1977)
Incluye referencias bibliográficas (p. [576]-583) e índices.
MR
Keywords: Logic, Symbolic and mathematical