标签： 数学

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

“斑马谜题”的求解 10/24