Árboles semánticos para lógica modal con algunos resultados sobre sistemas normales

Aquesta tesi apareix a les col·leccions següents