TY  - GEN
TY  - GEN
T1  - Computability : an introduction to recursive function theory
A1  - Cutland, Nigel
LA  - eng
PP  - Cambridge
PB  - Cambridge University Press
YR  - 1980
UL  - https://kansalliskirjasto.finna.fi/Record/vaari.1416845
NO  - Lisäpainokset: Repr. 1984. - Repr. 2000.
SN  - 0-521-22384-9
SN  - 0-521-29465-7
KW  - Computable functions.
KW  - Recursion theory.
KW  - algoritmit
KW  - matemaattinen logiikka
KW  - tietokoneet
KW  - matemaattiset teoriat
KW  - funktiot
KW  - teoriat
KW  - 08-416-S
ER  -