Foundations of constructive mathematics : metamathematical studies


Michael J. Beeson
Bok Engelsk 1985

Detaljer

Bibliotek som har denne