分类： 数学

On structural property of free groups. 10/08

L’implémentation pratique d’un système de type 04/01

« Sur imprédicativité » 03/02

L’axiome du choix, dans le domaine de la théorie intuitionniste des types 06/29 The Entscheidungsproblem is undecidable 02/07

哲学，逻辑，与数学——从罗素悖论谈起 11/01