00997nam a2200241 i 4500000000220899CaOOAMICUS20030926152042.0030926s1989 xx 000 b ger cPUGita642 GSchöning, Uwe.(OLS)http://pug/name/67949Logik für Informatiker /Uwe Schöning.2., überarbeitete AuflMannheim :B. I. Wissenschaftsverlag,[1989]172 p. ;21 cmReihe Informatik ;056Filosofia. Logica. Epistemologia. GnoseologiaLogica matematica - Logica simbolica.(OLS)http://pug/subject/27834Reihe Informatik ;056.(OLS)http://pug/title/120577PUGPUG1Magazzino4Mag. 642 G 37258765 258765PUGBibl2258765 92 172 2084642 G(OLS)http://pug/classification/808245Logik für Informatiker(OLS)http://pug/title/120576