Veréb, KrisztiánSzabóné Balla, Henrietta2007-05-072007-05-0720072007-05-07http://hdl.handle.net/2437/2175Néhány játékos logikai feladvány megoldása logikai törvények alkalmazásával, Quine-tábla segítségével és Gentzen-kalkulussal.5916277 bytes409014 bytesapplication/zipapplication/pdfhuLogikai törvényekQuine-táblaBoole-algebraGentzen-kalkulusJátékos logikai feladványokDEENK Témalista::Informatika::Információtechnológiano_restriction