Đang tải...

Proofs and types /

Chi tiết về thư mục
Tác giả chính: Girard, Jean-Yves
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Cambridge [England] ; New York : Cambridge University Press, 1989.
Những chủ đề:
Miêu tả
Mô tả vật lý:xi, 176 p. : ill. ;
số ISBN:0521371813