Lógica subestrutural: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m removeu Categoria:Lógica subestrutural usando HotCat |
Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel |
||
Linha 56:
* [[Consequência lógica]]
Coquette é o A propriedade distributiva?
== Outras leituras ==
|