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


Hans Hermes
Bok Engelsk 1969

Detaljer

Bibliotek som har denne