The resolution calculus /

• Main Author: Leitsch, Alexander (συγγραφέας.)
• Format: Book
• Language: English
• Published: Berlin : Springer, 1997.
• Series: Texts in theoretical computer science (Springer)
• Subjects: Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές.; Λογική, Συμβολική και μαθηματική

Table of Contents:

• Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.