Elementos de lógica constructiva
1991·divulgacion
Un tratado exhaustivo que sistematiza y formaliza la lógica constructiva, abarcando desde sus principios básicos hasta sus conexiones con la teoría de pruebas y la computación.
holandés
Andrei S. Troelstra es un lógico y matemático holandés conocido por sus contribuciones a la teoría de prueba y la lógica matemática. Es relevante por su trabajo en la intersección de la lógica y la informática, así como su influencia en el estudio de los sistemas formales.
1991·divulgacion
Un tratado exhaustivo que sistematiza y formaliza la lógica constructiva, abarcando desde sus principios básicos hasta sus conexiones con la teoría de pruebas y la computación.
Aparecen junto a Andrei S. Troelstra en búsquedas del archivo