Enumerability, decidability, computability: An introduction to the theory of recursive functions/
| Κύριος συγγραφέας: | Hermes, Hans. |
|---|---|
| Άλλοι συγγραφείς: | Hermann, G. T. |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Berlin:
Springer,
1969
|
| Έκδοση: | 2d rev. ed. |
| Ταξινομικός αριθμός: |
511.2 HE |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Φυσική περιγραφή: |
x, 245 p.; 24 cm. |
|---|