Foundations of constructive mathematics : metamathematical studies


Michael J. Beeson
Bok Engelsk 1985
Utgitt
Berlin : Springer , c1985
Omfang
XXIII, 466 s.
Emner
ISBN
0387121730. - 3540121730

Bibliotek som har denne