Logic around the world
Logic software and logic education
OO Paradigm:
Hidden algebra
OBJ
Behavior Discussion List
Scientific Journals:
Journal of Symbolic Logic
Studia Logica
Bulletin of the section of Logic
Mathematical Structures in Computer Science
Theoretical Computer Science
Computer Journal
Journal of Universal Computer Science
Research Groups:
CIDMA (Aveiro)
Computer Science Group in IST
Projects:
Project Euclid
Geometrix
Pmate
