Lista de

Naishtat, Francisco
3
Lógica Modal y Lógica Intuicionista II (1993). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Seminario de Lógicas Temporales y Aplicaciones. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Lógica Modal Cuantificacional. Y Lógica Temporal (1993). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación