Haku
Viitteet 1-1 / 1
Modal Fragments of Second-Order Logic
(Tampere University Press, 2011)
Väitöskirja
Väitöskirja
Formaalin logiikan tutkimuskohteina ovat erilaiset muodolliset systeemit eli logiikat, joiden avulla voidaan mm. mekanisoida monenlaisia päättelyprosesseja. Eräs modernin formaalin logiikan keskeisistä tutkimusaiheista on ...