Logical frameworks /

• Other Authors: Huet, Gerard (επιμελητής.), Plotkin, G. (Gordon), 1946- (επιμελητής.)
• Format: Book
• Language: English
• Published: Cambridge ; New York : Cambridge University Press, 1991.
• Subjects: Λογική; Αυτόματη απόδειξη θεωρημάτων
• Physical Description: xii, 403 σ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές.
• ISBN: 0521413001