Começou em Varsovia a segunda edição do congresso de lógica e religião
sobre o patronage de Lesniewski, Lukasiewicz, Tarski e Twardowski;
http://en.uw.edu.pl/congress-on-logic-and-religion/
A palestra da abertura foi do Saul Kripke - bem interessante
Ele contou que enquanto adolescente ele partici
Caros(as) colegas
Anunciamos com orgulho o lançamento online do último número do South
American Journal of Logic (SAJL), dedicado aos 70 anos do grande
lógico e matemático brasileiro Francisco "Chico" Miraglia, um exemplo
e um mestre para muitos de nós. O volume, editado nesta ocasião por
Marcelo
*** Apologies for multiple copies, please redistribute ***
CALL FOR PAPERS
12th Workshop on Logical and Semantic Frameworks, with Applications
23-24 September 2017, Brasília, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
