[DL] 1st World Logic Day, 14 January 2019 - Report on the Celebrations
beziau100 at gmail.com
Thu Feb 14 12:04:20 CET 2019
One month ago was organized the 1st World Logic Day.
It was celebrated in about 60 locations all over the world including
Warsaw, Kolkata, Mecca, St Petersburg, Athens, Berlin, Vatican, Montréal,
Rio de Janeiro,
as reported in the following paper in open access:
1st World Logic Day: 14 January 2019
As explained, January 14 is the day of death of Gödel and birth of Tarski.
The collected papers of Tarski (4 volumes) have just been re-edited by
We will release soon a 5th volume with unpublished documents and letters.
In the recent published Birkhäuser book
The Lvov-Warsaw School - Past and Present
there are three papers about Tarski:
Alfred Tarski: Auxiliary Notes on His Legacy, by Jan Zygmunt
Alfred Tarski (1901–1983), by Jan Wolenski
Tarski’s Influence on Computer Science, by Solomon Feferman
Jean-Yves Beziau - Editor-in-Chief
Logica Universalis (Journal)
Studies in Universal Logic (Book Series)
Birkhäuser / Springer Nature, Basel, Switzerland
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the dl