Computability computable functions, logic, and the foundations of mathematics - Epstein, Richard L. 1947-; Carnielli, Walter Alexandre 1952- (Wadsworth & Brooks/Cole, 1989)
Keywords: Fonctions calculables - Informatique; Logique symbolique et mathématique; Logik; Arithmetik; Berechenbarkeit; Matériel didactique