First-order logic and automated theorem proving /

• Κύριος συγγραφέας: Fitting, Melvin 1942-
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York : Springer, c1996.
• Έκδοση: 2nd ed.
• Σειρά: Graduate texts in computer science
• Θέματα: Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Λογική; Λογική, Συμβολική και μαθηματική