Computability computable functions, logic, and the foundations of mathematics
Richard L. Epstein Walter A Carnielli (Walter Alexandre)
Pacific Grove, Calif. Wadsworth & Brooks/Cole Advanced Books & Software c1989
Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 E64c ) e outros locais(Acessar)