Fwd: Dear Speakers, The proceedings of our workshop on proof theory at Unilog'2018 have now been published online. They can be freely accessed and cited by any of the following three permanent links:
http://hdl.handle.net/10900/83835 http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-838354 http://dx.doi.org/10.15496/publikation-25225 The last one contains the DOI, which is: 10.15496/publikation-25225 . Thank you very much again for your contributions! Best regards, Thomas and Peter -- 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 postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCvTc95U9_Yi6NKczVkzMmAWPTtijyz2nWk%2BjydNeZgKQ%40mail.gmail.com.
