Loading...

Proofs and types /

Bibliographic Details
Main Author: Girard, Jean-Yves
Format: Printed Book
Language:English
Published: Cambridge [England] ; New York : Cambridge University Press, 1989.
Subjects:
Description
Physical Description:xi, 176 p. : ill. ;
ISBN:0521371813