Important News:
Academic:
- Institute for Study in Theoretical Physics and Mathematics (IPM) (پژوهشگاه علوم بنیادی)
- Mathematical Sciences Research Institute (MSRI)
- Institute for Advanced Study (IAS)
- Sharif University of Technology Mathematical Sciences Logic Group
- Amirkabir University of Technology
- Association for Computing Machinery (ACM)
- Association for Symbolic Logic (ASL)
- Mathematical Association of America (MAA)
- American Mathematical Society (AMS)
- Iranian Mathematical Society (IMS)
- Mathematical Reviews on the Web (MathSciNet)
- The Mathematical Association of America (MAA)
- Google Books
- Google Scholar
- Springer
- Springer Link
- Science Direct
- Mathematics around the world
- Mathematical Logic around the world
- Foundations of Mathematics Mailing List (FOM)
- Computability in Europe (CiE)
- Computability and Complexity in Analysis Network (CCA Net)
- European Association for Theoretical Computer Science (EATCS)
- Research groups in Logic and Theoretical Computer Science
- Google Directory > Computers > Computer Science > Theoretical
- Cambridge Tracts in Theoretical Computer Science
People:
Iranian Logicians
- Aghaei, Mojtaba
- Alizadeh, Majid
- Ardeshir, Mohammad
- Bagheri, Seyyed Mohammad
- Didehvar, Farzad
- Enayat, Ali
- Kalantari, Iraj
- Mohsenipour, Shahram
- Moniri, Mojtaba
- Moniri, Morteza
- Pourmahdian, Massoud
- Salehi, Saeed
Proof Theorists
- Peter Aczel
- Jeremy Avigad
- Alessandra Carbone
- Michael Beeson
- Gianluigi Bellin
- Lev Beklemishev
- Samuel Buss
- Wilfried Buchholz
- Thierry Coquand
- Gerhard Jager
- Ulrich Kohlenbach
- Jan Krajicek
- Grigori Mints
- Jan von Plato
- Wolfram Pohlers
- Pavel Pudlak
- Michael Rathjen
- Robert F. Staerk
- Helmut Schwichtenberg
- Anton Setzer
- Wilfried Sieg
- Thomas Strahm
- Neil Tennant
- Sergei Tupailo
- Alasdair Urquhart
- Albert Viseer
- Andreas Weiermann
Blogs:
News:
Misc.:Games: