TY  - BOOK
AU  - Bonelli,Eduardo
AU  - Menni,Matías
AU  - Baum,Gabriel Alfredo
AU  - Meré,María Claudia
TI  - Sobre la representación de S4.3
PY  - 1996///
KW  - LÓGICA MODAL
KW  - LÓGICA MATEMÁTICA
KW  - TEORÍA DE PRUEBAS
N1  -  Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996
ER  -