Muu(t) tekijä(t): Ari VirtanenSarja: Matematiikan, tilastotieteen ja filosofian laitos. Tampereen yliopisto. B 43; [Moniste] / Tampereen yliopisto, matematiikan, tilastotieteen ja filosofian laitos. B 43Asiasanat: logiikka, lauselogiikka, predikaattilogiikka, todistusteoria