Semantics and logics of computation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Pitts, A. M. (Andrew M.) (Επιμελητής έκδοσης), Dybjer, Peter (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge Cambridge University Press 1997
Σειρά:Publications of the Newton Institute 14
Θέματα:

ΒΚΠ - Πατρα: BSC

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: BSC
Ταξιθετικός Αριθμός: 004.151 P
Αντίγραφο 1 Στη βιβλιοθήκη