Last 5 Pages Viewed: Special:UserLogin » Special:MobileDiff/767 » Special:UserLogin » Special:MobileDiff/789 » Special:MobileDiff/1516

Changes

Jump to navigation Jump to search
m
==Dedução Natural para a Lógica de Primeira Ordem Intuicionista==
[AGUARDE!]
=== Derivabilidade de sequentes ===
==== <math>(\forall x)(\varphi \to \psi) \vdash (\forall x)\varphi \to (\forall x)\psi</math> ====

Navigation menu