Varieties of constructive mathematics

Enregistré dans:
Détails bibliographiques
Auteur principal: Bridges, Douglas
Format: Livre
Publié: Cambridge Univ. Pr. 1987
Sujets:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!