Présentation de l'auteur B. Jacobs :

Livres publiés jusqu'à présent par B. Jacobs :

Logique catégorique et théorie des types : Volume 141 - Categorical Logic and Type Theory: Volume...

Ce livre tente de donner une présentation...