Logic for applications /

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Nerode, Anil
Eará dahkkit: Shore, Richard A.
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: New york : Springer-Verlag, 1997.
Preanttus:2nd ed.
Ráidu:Graduate texts in computer science
Fáttát:
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!
Čálihuva vuohččan sisa