origens da distinção entre lógica de primeira ordem e de segunda ordem

17 views
Skip to first unread message

Joao Marcos

unread,
Jun 1, 2016, 11:34:18 AM6/1/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Uma discussão fascinante sobre o assunto ocorreu na FOM nos últimos
dias. Na mensagem mais recente que segue, em particular, encontrei
alguns esclarecimentos conceituais importantes e aprendi vários fatos
históricos interessantes:
http://www.cs.nyu.edu/pipermail/fom/2016-May/019884.html

JM
Reply all
Reply to author
Forward
0 new messages