Computability, enumerability, unsolvability : directions in recursion theory


edited by S.B. Cooper, T.A. Slaman, S.S. Wainer
Bok Engelsk 1996

Detaljer

Bibliotek som har denne