La bibliothèque contient 3 parties avec Barendregt, 1960–1966. Clique sur l'une d'elles — elle s'ouvre dans l'analyseur.
