Basic proof theory /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Troelstra, A. S. (Anne Sjerp) (συγγραφέας.)
Άλλοι συγγραφείς: Schwichtenberg, Helmut, 1942- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge ; New York : Cambridge University Press, 2000.
Έκδοση:2nd ed.
Σειρά:Cambridge tracts in theoretical computer science
Θέματα:
Search Result 1
ανά Troelstra, A. S. (Anne Sjerp)
Έκδοση 1996
Βιβλίο