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
