Computability and logic /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Boolos, George S. (συγγραφέας)
Άλλοι συγγραφείς: Jeffrey, Richard C. (συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge : Cambridge University Press, c1989.
Έκδοση:3rd ed.
Θέματα:
Search Result 1
ανά Boolos, George S.
Έκδοση 2002
Βιβλίο