Sobre la representación de S4.3.

Bonelli, Eduardo

Sobre la representación de S4.3. - 1996 - 68 p. ; 30 cm.

Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996.

DIF-M1382


LÓGICA MODAL
LÓGICA MATEMÁTICA
TEORÍA DE PRUEBAS