First-order logic and automated theorem proving /

• Main Author: Fitting, Melvin 1942-
• Format: Book
• Language: English
• Published: New York : Springer, c1996.
• Edition: 2nd ed.
• Series: Graduate texts in computer science
• Subjects: Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Λογική; Λογική, Συμβολική και μαθηματική