Material sobre substituição em português

[Eduardo Ochs]

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

[Joao Marcos]

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

> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.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 logica-l+u...@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/