|
|
|
|
| LEADER |
00000cam a22000004i 4500 |
| 001 |
1040950 |
| 003 |
FI-J |
| 005 |
20210226160241.0 |
| 008 |
071018s2007 fi ||||||m |||||||fin|| |
| 035 |
|
|
|a 1040950
|
| 041 |
0 |
|
|a fin
|
| 100 |
1 |
|
|a Kuusela, Antti.
|
| 245 |
1 |
0 |
|a Päättelypuu modaalilogiikan todistusmenetelmänä /
|c Antti Kuusela.
|
| 260 |
|
|
|a Jyväskylä,
|c 2007.
|
| 300 |
|
|
|a 59 sivua
|
| 336 |
|
|
|a teksti
|b txt
|2 rdacontent
|
| 337 |
|
|
|a käytettävissä ilman laitetta
|b n
|2 rdamedia
|
| 338 |
|
|
|a nide
|b nc
|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 modaalilogiikka
|2 yso/fin
|0 http://www.yso.fi/onto/yso/p5542
|
| 999 |
|
|
|c 1040950
|d 1040950
|
| 952 |
|
|
|b MATTILA
|c 608
|o MAT Gradu Kuusela
|9 1
|