First-order logic and automated theorem proving /

• Κύριος συγγραφέας: Fitting, Melvin 1942- (συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: New York : Springer, c1990.
• Σειρά: Text and monographs in computer science
• Θέματα: Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: xiii, 242 σ. : εικ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0387972331; 3540972331