Foundations of constructive mathematics : metamathematical studies
Michael J. Beeson
Bok Engelsk 1985
Utgitt | Berlin : Springer , c1985
|
---|---|
Omfang | XXIII, 466 s.
|
Emner | |
ISBN | 0387121730. - 3540121730
|
Utgitt | Berlin : Springer , c1985
|
---|---|
Omfang | XXIII, 466 s.
|
Emner | |
ISBN | 0387121730. - 3540121730
|