Varieties of constructive mathematics

Spremljeno u:
Bibliografski detalji
Glavni autor: Bridges, Douglas
Format: Knjiga
Izdano: Cambridge Univ. Pr. 1987
Teme:
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!