Pessoas:

Laboratorios:

Relacionados:

Jefferson de Barros Santos

Palavras-chave

counter model procedure minimal implicational unified proof propositional provability implicational logic generation