Pessoas:

Laboratorios:

Relacionados:

Jefferson de Barros Santos

Palavras-chave

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