Varieties of constructive mathematics

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Bridges, Douglas
Format: Knjiga
Izdano: Cambridge Univ. Pr. 1987
Teme:
Oznake: Označite
Brez oznak, prvi označite!