Enumerability, decidability, computability: an introduction to the theory of recursive functions

Zapisane w:
Opis bibliograficzny
1. autor: Hermes, Hans (Autor)
Format: Książka
Język:angielski
Wydane: Berlín Springer-Verlag 1969
Hasła przedmiotowe:
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!