Churchin lause RA-kielelle

Viitasalo, Juho

dc.contributor.author	Viitasalo, Juho
dc.date.accessioned	2008-01-08T08:27:05Z
dc.date.available	2008-01-08T08:27:05Z
dc.date.issued	2007
dc.identifier.other	oai:jykdok.linneanet.fi:1037708
dc.identifier.uri	https://jyx.jyu.fi/handle/123456789/9820
dc.format.extent	53 sivua
dc.format.mimetype	application/pdf
dc.language.iso	fin
dc.rights	This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.	en
dc.rights	Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.	fi
dc.subject.other	Turing
dc.subject.other	rekursiivisuus
dc.subject.other	epätäydellisyys
dc.title	Churchin lause RA-kielelle
dc.identifier.urn	URN:NBN:fi:jyu-2007585
dc.type.dcmitype	Text	en
dc.type.ontasot	Pro gradu -tutkielma	fi
dc.type.ontasot	Master’s thesis	en
dc.contributor.tiedekunta	Matemaattis-luonnontieteellinen tiedekunta	fi
dc.contributor.tiedekunta	Faculty of Sciences	en
dc.contributor.laitos	Matematiikan ja tilastotieteen laitos	fi
dc.contributor.laitos	Department of Mathematics and Statistics	en
dc.contributor.yliopisto	University of Jyväskylä	en
dc.contributor.yliopisto	Jyväskylän yliopisto	fi
dc.contributor.oppiaine	Matematiikka	fi
dc.contributor.oppiaine	Mathematics	en
dc.rights.accesslevel	openAccess	fi
dc.type.publication	masterThesis
dc.contributor.oppiainekoodi	4041
dc.subject.yso	matemaattinen logiikka
dc.subject.yso	lukuteoria
dc.format.content	fulltext
dc.type.okm	G2