TY  - GEN
TY  - GEN
T1  - The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
A2  - Davis, Martin
LA  - eng
PP  - New York
PB  - Dover Publications
YR  - 2004
UL  - https://kansalliskirjasto.finna.fi/Record/vaari.1457799
SN  - 0-486-43228-9
ER  -