[Logica-l] Novo livro

2016-10-18 Por tôpico Francisco Antonio Doria
Editado por mim, e com um time de colaboradores expert,* entreguei ontem à World Scientific o livro _The Limits of Mathematical Modelling in the Social Sciences in the Light of Gödel’s Incompleteness Phenomenon_. Será o primeiro a tratar da questão. E é dedicado ao Newton, a quem, como é notório,

[Logica-l] ITP 2017 - FIRST CALL FOR PAPERS

2016-10-18 Por tôpico Cláudia Nalon
*** Apologies for multiple copies, please redistribute *** FIRST CALL FOR PAPERS ITP 2017 8th International Conference on Interactive Theorem Proving Brasilia, Brazil