Correção e completude para a Lógica de Primeira Ordem Clássica

From Logic Wiki
Revision as of 22:04, 5 October 2020 by Jmarcos (talk | contribs)
Jump to navigation Jump to search