Computability and logic /

• Main Author: Boolos, George S. (συγγραφέας)
• Other Authors: Jeffrey, Richard C. (συγγραφέας)
• Format: Book
• Language: English
• Published: Cambridge : Cambridge University Press, c1989.
• Edition: 3rd ed.
• Subjects: Λογική, Συμβολική και μαθηματική; Υπολογίσιμες συναρτήσεις
• Physical Description: x, 304 σ. : εικ. ; 25 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 052138026X; 0521389232