Holdings: Mathematical logic for computer science /

Main Author:	Ben-Ari, M., 1948-
Format:	Book
Language:	English
Published:	London ; Berlin : Springer, c2001.
Edition:	2nd ed.
Subjects:	Logic, Symbolic and mathematical

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
ΤΕΙ Κρήτης	QA9 .B3955 2001	3	Προβολή	OPAC