- Logique catégorique d'ordre supérieur - SMACUD2 - Master Mathématiques et applications - 5SMA - Sciences et Technologies - SCIENCES - Offre de formation d’Aix-Marseille Université 2023-2024