estão, respectivamente, os textos de Hughes & Cresswell (em espanhol - sistemas T, S4 e S5) e Fitting & Mendelsohn - modelos para lógicas modais.
Serão usados nas próximas aulas.
segunda-feira, 2 de novembro de 2009
Assinar:
Postar comentários (Atom)
Nenhum comentário:
Postar um comentário