[FOM] Logic in Question 7 - with Pierre Cartier and Saul Kripke - Paris- Sorbonne, June 13-14

jean-yves beziau beziau100 at gmail.com
Mon Jun 5 06:32:01 EDT 2017

Workshop Logic in Question 7 - June 13 and 14, 2017
House of Research, University Paris-Sorbonne

Every Spring people meet in Paris to discuss about logic ...
This year there will be in particular talks  by

Pierre Cartier: "This is not a proof, QED"
Saul Kripke: "A Model Theoretic Approach to Gödel's Theorem"

Entrance if free but if you want to attend send an e-mail to:
liq7 at logic-in-question.org
For safety reasons the house of research will ask identity documents at the
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170605/34236f78/attachment.html>

More information about the FOM mailing list