Holdings: Computability and logic /

Main Author:	Boolos, George
Other Authors:	Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1989.
Edition:	3rd ed.
Subjects:	Computable functions Recursive functions Logic, Symbolic and mathematical

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