このページのリンク

他の検索サイト

CPHC/BCS distinguished dissertation series

子書誌情報を非表示

1 Extensional constructs in intensional type theory / Martin Hofmann hardback. - London ; Berlin : Springer , c1997

書誌詳細を非表示

出版情報 London ; Berlin : Springer
本文言語 日本語
書誌ID TB10014486
NCID BA31000927