Presentación del autor Adrian Rezuş:

Libros publicados hasta ahora por Adrian Rezuş:

Teoría de los Testigos: Notas sobre λ-cálculo y lógica - Witness Theory: Notes on λ-calculus and...
Este libro se ocupa del análisis matemático del...
Teoría de los Testigos: Notas sobre λ-cálculo y lógica - Witness Theory: Notes on λ-calculus and Logic
Lógica y computación contemporáneas - Contemporary Logic and Computing
El presente volumen tiene su origen en una propuesta de libro realizada hace unos dos...
Lógica y computación contemporáneas - Contemporary Logic and Computing
<<
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)