Check details on webcat_plus

このエントリーをはてなブックマークに追加

Output this information

Link on this page

Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson
(Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3 . Folge ; Bd. 6)

Publisher Berlin ; New York : Springer-Verlag
Year c1985
Authors *Beeson, Michael J., 1945-

Hide book details.

Library Restricted Access Stacks U.S. SAe:65:6 128050462S



Hide details.

Material Type Books
Size xxiii, 466 p. ; 25 cm
Notes Bibliography: p. [439]-449
Includes indexes
Subjects LCSH:Constructive mathematics
NDLSH:記号論理学
Classification LCC:QA9.56
DC19:511.3
NDC8:410.96
NDC7:410.12
Language English
ID 0000259619
ISBN 0387121730
NCID BA00496985 WCLINK

 Similar Items