Lista de

Lógica Modal Cuantificacional y Lógica Temporal
1
Lógica Modal Cuantificacional y Lógica Temporal (1992). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación