Computability, complexity, logic /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Börger, E. 1946- (Egon) (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam ; New York : New York, N.Y., U.S.A. North-Holland ; Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co., 1989.
Σειρά:Studies in logic and the foundations of mathematics 128.
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:Τίτλος πρωτοτύπου: Berechenbarkeit, Komplexität, Logik.
Φυσική περιγραφή:xx, 592 σ. : εικ. ; 23 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφία και ευρετήριο.
ISBN:0444874062