"Honkaniemi, Christian" - Selaus tekijän mukaan Kandidaatintutkielmat

Tämän tutkielman tarkoituksena on esittää, mistä luonnollinen päättely sai alkunsa sekä esittää, miten luonnollisia päättelyitä käytännössä tehdään. Luonnollinen päättely on erittäin suosittu lähestymistapa eri logiikan ...