[Logica-l] Peter Schroeder-Heister on Proof-Theoretic Semantics

2024-02-14 Por tôpico Hermógenes Oliveira
Acesso livre:

https://link.springer.com/book/10.1007/978-3-031-50981-0

--
Hermógenes Oliveira

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f3034b17-197f-49f3-abb8-e1400472aaf1n%40dimap.ufrn.br.


[Logica-l] Quando ensinar Lógica Formal, em um curso de graduação?

2024-02-14 Por tôpico Joao Marcos
Opiniões podem ser registradas aqui:
https://twitter.com/antitheorem/status/1757812328366539213?t=3J5BBarav5vooDvVBd2wVA=19

[]s, JM

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjcQObao8jZx5YwSTfXbKnE7PX9e9RUTZvStnBUcRnGLA%40mail.gmail.com.