Holdings: Logic for computer science :

Main Author:	Gallier, Jean H.
Format:	Book
Language:	English
Published:	New York : Harper and Row, c1982.
Subjects:	Automatic theorem proving Logic, Symbolic and mathematical

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
ΤΕΙ Κρήτης	QA76.9.A96 G35 1986	1	Προβολή	OPAC