Pessoas:

Laboratorios:

Relacionados:

Jefferson de Barros Santos

Palavras-chave

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