signalement via Lambda the Ultimate

Un récent article de Mark van Atten:
The Development of Intuitionistic Logic