00994nam0-22003731i-450-9900014999704033210-444-50620-9000149997FED01000149997(Aleph)000149997FED0100014999720030131d2001----km-y0itay50------baengNLa---a---001yyRudiments of u-calculusA. Arnold, D. NiwinskiAmsterdamElsevierc2001xi, 277 p.cm24Studies in logic and the foundations of mathematics146Logica algebricaComputer scienceMatematica511.321Arnold,A.Niwinski,D.ITUNINARICAUNIMARCBK990001499970403321C-30-(14618282MA1MA168-0203BXX68NXXRudiments of u-calculus377265UNINA