|
|
|
|
| LEADER |
00000cam a22000004i 4500 |
| 001 |
1037708 |
| 003 |
FI-J |
| 005 |
20210226155539.0 |
| 006 |
m||||||||d|||||||| |
| 007 |
cu|||||||||a|| |
| 008 |
070906s2007 fi |||||sm |||||||fin|| |
| 035 |
|
|
|a 1037708
|
| 041 |
0 |
|
|a fin
|
| 100 |
1 |
|
|a Viitasalo, Juho.
|
| 245 |
1 |
0 |
|a Churchin lause RA-kielelle /
|c Juho Viitasalo.
|
| 260 |
|
|
|a Jyväskylä,
|c 2007.
|
| 300 |
|
|
|a 53 sivua
|
| 336 |
|
|
|a teksti
|b txt
|2 rdacontent
|
| 337 |
|
|
|a tietokonekäyttöinen
|b c
|2 rdamedia
|
| 338 |
|
|
|a verkkoaineisto
|b cr
|2 rdacarrier
|
| 509 |
|
|
|a Pro gradu -työ :
|c Jyväskylän yliopisto, matematiikan ja tilastotieteen laitos, matematiikka.
|9 4041.
|
| 579 |
|
|
|a XLUETTELOITU
|
| 650 |
|
7 |
|a matemaattinen logiikka
|2 yso/fin
|0 http://www.yso.fi/onto/yso/p15194
|
| 650 |
|
7 |
|a lukuteoria
|2 yso/fin
|0 http://www.yso.fi/onto/yso/p1988
|
| 653 |
|
|
|a Turing
|
| 653 |
|
|
|a rekursiivisuus
|
| 653 |
|
|
|a epätäydellisyys
|
| 856 |
4 |
0 |
|u http://urn.fi/URN:NBN:fi:jyu-2007585
|u URN:NBN:fi:jyu-2007585
|
| 999 |
|
|
|c 1037708
|d 1037708
|