First-order logic and automated theorem proving /

• Main Author: Fitting, Melvin 1942- (συγγραφέας)
• Format: Book
• Language: Greek
• Published: New York : Springer, c1990.
• Series: Text and monographs in computer science
• Subjects: Λογική, Συμβολική και μαθηματική