A first journey through logic - Hils Martin (American Mathematical Society, 2019)
Keywords: Logique mathématique; Mathématiques; Manuels d'enseignement supérieur