Φορτώνει......
Recursion theory for metamathematics.
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Printed Book |
Γλώσσα: | English |
Έκδοση: |
New York:
Oxford University Press,
1993.
|
Θέματα: |
MAT
Ταξιθετικός Αριθμός: |
510.57 SMU |
---|---|
Αντίγραφο | Η τρέχουσα κατάσταση είναι άγνωστη |