Estou de pleno acordo com a proposição título. A questão é saber como implementá-la.
2012/12/29 Joao Marcos <[email protected]> > um presente de natal de andrej bauer: > > > http://math.andrej.com/2012/12/25/free-variables-are-not-implicitly-universally-quantified/ > > > jm > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
