Churchin lause RA-kielelle

Bibliografiset tiedot
Päätekijä:	Viitasalo, Juho
Muut tekijät:	Matemaattis-luonnontieteellinen tiedekunta, Faculty of Sciences, Matematiikan ja tilastotieteen laitos, Department of Mathematics and Statistics, University of Jyväskylä, Jyväskylän yliopisto
Aineistotyyppi:	Pro gradu
Kieli:	fin
Julkaistu:	2007
Aiheet:	Turing rekursiivisuus epätäydellisyys Matematiikka Mathematics 4041 matemaattinen logiikka lukuteoria
Linkit:	https://jyx.jyu.fi/handle/123456789/9820

Churchin lause RA-kielelle Tekijä Viitasalo, Juho

Julkaistu 2007

Hae kokoteksti

Pro gradu