Twenty-Five Years of Constructive Type Theory

Sponsorisé
213.78 EUR
Prix mis à jour le: 02-11-2026 22:23:25

Général

Caractéristiques

Menu