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

Uloženo v:
Podrobná bibliografie
Hlavní autor: Hermes, Hans (Autor)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlín Springer-Verlag 1969
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Biblioteca de Matemática -

Informace o exemplářích z: Biblioteca de Matemática -
Signatura: 511.35 HER 1969
Jednotka 1300180 Dostupné Požadavek