LDR 00997nam a2200241 i 4500 001 000000220899 003 CaOOAMICUS 005 20030926152042.0 008 030926s1989 xx 000 b ger c 040 $aPUG$bita 084 $a642 G 100 1 $aSchöning, Uwe.$0(OLS)http://pug/name/67949 245 10$aLogik für Informatiker /$cUwe Schöning. 250 $a2., überarbeitete Aufl 260 $aMannheim :$bB. I. Wissenschaftsverlag,$c[1989] 300 $a172 p. ;$c21 cm 490 1 $aReihe Informatik ;$v056 655 07$aFilosofia. Logica. Epistemologia. Gnoseologia$xLogica matematica - Logica simbolica.$0(OLS)http://pug/subject/27834 830 0$aReihe Informatik ;$v056.$0(OLS)http://pug/title/120577 850 $aPUG 852 $aPUG$W1$xMagazzino$y4$mMag. 642 G 37$j258765$n $b $q $B258765$CPUGBibl$Z2$F258765 $H92 172 $82 996 $6084$a642 G$9(OLS)http://pug/classification/808 996 $6245$aLogik für Informatiker$9(OLS)http://pug/title/120576