/analytic-tableaux

Projeto da disciplina de Lógica, CIn-UFPE

Primary LanguageC++MIT LicenseMIT

Tableaux Analítico

Clique aqui para acessar a especificação.