Holdings: Computability and logic/

Main Author:	Boolos, George S.
Other Authors:	Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge: Cambridge University Press, 1974
Subjects:	Computable functions Recursive functions

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών	511.3 BooG c 1974	1	Προβολή	OPAC