Varia-22238 |
|
|||||
VV.AA. | 10,00 € |
|||||
Teorema. Publicación del Departamento de Lógica y Filosofía de la Ciencia de la Universidad de Valencia. Volúmen IV/4. (F.G. Asenjo: Variaciones sobre el encuentro entre la mente y el mundo; Ana María de Torres: Los primeros intentos de prueba automática de teoremas en el cálculo de enunciados; Wolfgang Stegmüller: Dinámica de teorías y comprensión lógica; Juan A. del Val: Sobre las aplicaciones de la lógica formal al estudio del razonamiento, entre otros textos). Valencia, 1974 - 1975. |
||||||
4to.; 133 pp. Cubiertas originales. |
||||||
Filosofía - Historia de las Ideas - Revistas |
||||||