Pessoas:

Laboratorios:

Relacionados:

Jefferson de Barros Santos

Palavras-chave

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