00702nam0-22002531i-450-990001293350403321000129335FED01000129335(Aleph)000129335FED0100012933520000920d1970----km-y0itay50------baengTerm Logic with Choice OperatorBY HERMES HANSBerlin [etc.]Springer-Verlag1970Lecture Notes in Mathematics6Hermes,Hans42101ITUNINARICAUNIMARCBK99000129335040332110-M-214360MA1MA1Term logic with choice operator79028UNINAING01