ロード中...

Proofs and types /

書誌詳細
第一著者: Girard, Jean-Yves
フォーマット: Printed Book
言語:English
出版事項: Cambridge [England] ; New York : Cambridge University Press, 1989.
主題:
その他の書誌記述
物理的記述:xi, 176 p. : ill. ;
ISBN:0521371813