Η αναζήτηση επέστρεψε 2 αποτελέσματα.

Αποτελέσματα
	1.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Semantics and Logic of Computation από Dybjer, Peter [edt] Pitts, A. M. (Andrew M.) [edt] Σειρά: Publications of the Newton Institute ; 14 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge University Press Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 PIT. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Semantics and logics of computation edited by Andrew M. Pitts, Peter Dybjer από Pitts, A. M. (Andrew M.) [edt] Dybjer, Peter [edt] Σειρά: Publications of the Newton Institute ; 14 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.151 P. Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας