Pessoas:

Laboratorios:

Relacionados:

Jefferson de Barros Santos

Palavras-chave

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