Dedução Natural no browser https://personal.cis.strath.ac.uk/robert.atkey/cs208/2019/nd/natural-deduction.html
-- ================================================================== Adolfo Neto Associate Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br ================================================================== -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUtYy-wKrmS4CsbWm2hAfZ43DVEz5R1_fySei6Wvk8iFA%40mail.gmail.com.
