Recursive equivalence types/

Main Author: Dekker, J. C. E.
Other Authors: Myhill, John
Format: Book
Language:English
Published: Berkeley: University of California Press, 1960
Series:University of California publications in mathematics ; 3
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών511.352 DekJ r 19601ΠροβολήOPAC