Varieties of constructive mathematics

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Bridges, Douglas
Formaat: Boek
Gepubliceerd in: Cambridge Univ. Pr. 1987
Onderwerpen:
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!