Presentación del autor Andrzej Indrzejczak:

Libros publicados hasta ahora por Andrzej Indrzejczak:

Secuencias y árboles: Una introducción a la teoría y aplicaciones de los cálculos secuenciales...
Este libro de texto ofrece una introducción...
Secuencias y árboles: Una introducción a la teoría y aplicaciones de los cálculos secuenciales proposicionales - Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
<<
1
>>

© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)