Organisations
ASL - The Association for Symbolic Logic
|
BLC - British Logic Colloquium |
FoLLI - the European Association for Logic, Language and Information
|
IGPL - Interest Group on Propositional Logics |
LICS - IEEE Symposium on Logic in Computer Science |
|
|
Mailing Lists
fom - Steve Simpson's mailing list on the foundations of mathematics. |
Exotica
Lovefish14 ...logic is not only the first (NT, John 1; 1) but also the last word (NT,
Rev. 19;13). |
|