Le développement de la logique intuitionniste
Par Patrick Peccatte le jeudi 17 juillet 2008, 21:21 - philosophie des mathématiques - Lien permanent
signalement via Lambda the
Ultimate
Un récent article de Mark van Atten:
The Development of Intuitionistic Logic
Un récent article de Mark van Atten:
The Development of Intuitionistic Logic