01201nam2-2200385li-450 99000020321020331620180312154818.03-540-55611-70020321USA010020321(ALEPH)000020321USA01002032120001109d1992----km-y0itay0103----baengGWAxioms and hullsD. E. KnuthBerlin [etc.]Springer-Verlagcopyr. 1992VII, 109 p.ill.25 cmLecture notes in computer science60600100202642001Lecture notes in computer sciencelogica matematica5113Logica simbolica (Logica matematica)Knuth,Donald E.48274Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000203210203316001 LNCS (606)001457300100102707BKSCI1993011120001110USA011714ALANDI9020010126USA01153120020403USA011628PATRY9020040406USA011615Axioms and hulls32591UNISA