Logical frameworks /

• Άλλοι συγγραφείς: Huet, Gerard (επιμελητής.), Plotkin, G. (Gordon), 1946- (επιμελητής.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge ; New York : Cambridge University Press, 1991.
• Θέματα: Λογική; Αυτόματη απόδειξη θεωρημάτων