Malitz, Jerome.

Introducción to methematical logic : set theory, computable functions, model theory - New York : Springer-Verlag, 1979 - 198 p

29920


Lógica simbólica y matemática.

511.3 / M35