Holdings: Background :

Other Authors:	Abramsky, Samson,, Gabbay, Dov M., Maibaum, Thomas S. E.
Format:	Book
Published:	Oxford: New York: Clarendon Press, Oxford University Press 1992
Subjects:	Computer science Logic, Symbolic and mathematical

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Εθνικό Μετσόβιο Πολυτεχνείο	004 HAN	1	Προβολή	OPAC