Holdings: Computability and logic /

Main Author:	Boolos, George S
Other Authors:	Burgess, John P., Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge : Cambridge University Press, c2007
Edition:	5th ed.
Subjects:	Computable functions Recursive functions Logic, Symbolic and mathematical

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