Foundations of constructive mathematics /

41

Bibliografiske detaljer
Hovedforfatter: 418952 Beeson, Michael J.
Format:
Udgivet: Berlin : Springer-Verlag, 1985
Fag: