Computability : Computable functions, logic, and foundations of mathematics /
Epstein, Richard L.
Computability : Computable functions, logic, and foundations of mathematics / Richard L. Epstein, Walter A. Carnielli. - Pacific Grove, CA : Wadsworth & Brooks/Cole Advanced Books & Software , 1989. - XVII, 297 p. - Wadsworth & Brook/Cole mathematics series .
0-534-10356-1
Computable functions
Logics
Computability : Computable functions, logic, and foundations of mathematics / Richard L. Epstein, Walter A. Carnielli. - Pacific Grove, CA : Wadsworth & Brooks/Cole Advanced Books & Software , 1989. - XVII, 297 p. - Wadsworth & Brook/Cole mathematics series .
0-534-10356-1
Computable functions
Logics