Useful links

Logic links

  • Association for Symbolic Logic ASL.
  • European Mathematical Society EMS.
  • American Mathematical Society AMS.
  • European Association for Logic, Language and Information FoLLI.
  • European Association for Computer Science Logic EACSL.
  • European Association for Theoretical Computer Science EATCS.

Gödel links