Pessoas:

Laboratorios:

Relacionados:

Jefferson de Barros Santos

Palavras-chave

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