Check details on webcat_plus

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

Output this information

Link on this page

History and philosophy of constructive type theory / by Giovanni Sommaruga
(Synthese library ; v. 290)

Publisher Dordrecht ; Boston : Kluwer Academic
Year c2000
Authors *Sommaruga, Giovanni

Hide book details.

Library Main Building Basement (Foreign Books, Code Classification)
1080:2:290 120002192H



Hide details.

Material Type Books
Size x, 354 p. ; 25 cm
Notes Includes bibliographical references (p.349-354)
Language English
ID 0000406884
ISBN 0792361806
NCID BA47675489 WCLINK