טוען...

Proofs and types /

מידע ביבליוגרפי
מחבר ראשי: Girard, Jean-Yves
פורמט: Printed Book
שפה:English
יצא לאור: Cambridge [England] ; New York : Cambridge University Press, 1989.
נושאים:
תיאור
תיאור פיזי:xi, 176 p. : ill. ;
ISBN:0521371813