Browsing Núm. 02 (1991) by Author "Trelles, Óscar"
Now showing items 1-1 of 1
-
Filosofía, lógica y computación
Trelles, Óscar (Pontificia Universidad Católica del Perú. Instituto Riva-AgüeroPE, 1991-06-09)El seminario consiste en la lectura comentada y el análisis del libro Computability, Computable Functions, Logic, and the Foundations of Mathematics, de Richard L. Epstein y Walter A. Carnielli. Este texto trata problemas ...