[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

[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