Vista normal
Vista MARC
Carnielli, Walter A. (Walter Alexandre)(Materia (personas))
Machine generated authority record.
Work cat.: (Co-BoUCM)60274: Epstein, Richard L. 1947- 165165, Computability computable functions, logic, and the foundations of mathematics, c2000