On Logical Method for Counting Dedekind Numbers. - Mati Tombak; Ain Isotamm; Tõnu Tamme (FCT, 2001)