Mathématiques
et Interactions

Olivia Caramello

Lien zbMATH

University of Insubria

• 16 vidéos
  

  01:19:29

  publiée le 3 décembre 2015

  1/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique

  De Olivia Caramello

• Précédent
• 1
• 2