Serve o livro que mais nos influenciou?... O meu foi o "Proofs and Types", do Girard:
http://www.monad.me.uk/stable/Proofs+Types.html [], Eduardo Ochs [email protected] http://angg.twu.net/ 2009/1/27 Marco Prt <[email protected]>: > Caros colegas de lista, > > Gostaria de fazer uma breve enquete, a título de curiosidade, entre os mais > diversos profissionais que usam a lista, cuja as áreas variam de Matemática > a Linguística. > > Qual o livro "essencial" em Lógica? Aquele que dentre todos que você leu, é > o que não descartaria, aquele que você considera importante entre todos os > importantes? > > Aguardo a participação de todos, > > M.P. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
