Viva, Eduardo:
A seção 2 do capítulo 3 deste nosso livro pode conter uma boa parte do
que você procura:
https://sites.google.com/site/sequiturquodlibet/courses/lc-dgm
Outro livro que cobre estas coisas em detalhe, creio eu, mas que eu
não tenho aqui em mãos neste momento para lhe passar uma referência
precisa, é este, do Mauricio Ayala e do Flavio de Moura:
https://www.amazon.com.br/dp/8523011412/
[]s, JM
On Tue, Feb 8, 2022 at 8:58 PM Eduardo Ochs wrote:
>
> Oi todos!
>
> Vocês sabem onde eu encontro material em português que cubra mais ou
> menos esses assuntos daqui?
>
> http://www2.imm.dtu.dk/courses/02286/Slides/FirstOrderLogicSyntaxFreeBoundVarsQuantScopeCaptureSubstRenamingTrans.pdf
>
> Se vocês quiserem me recomendar notas de aula que vocês mesmos
> escreveram é melhor ainda! =)
>
> Obrigado =),
> Eduardo Ochs
> http://angg.twu.net/math-b.html
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
>
> ---
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6jXz8wzjCw8bigDLEC3SiaTE8OxPM97vooP-WzUuda%2BdQ%40mail.gmail.com.
--
http://sequiturquodlibet.googlepages.com/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li6zcrR-NKaqCvYXAjS-7wNqTDcmAYpPhS3JKEfTOk20w%40mail.gmail.com.