00925nam0-22003251i-450-99000100741040332120160314184630.0000100741FED01000100741(Aleph)000100741FED0100010074120001205d1970----km-y0itay50------baengTerm logic with choice operatorHans HermesRev. and enlarged translation of the 1st German Ed.Berlin [etc.]Springer-Verlag197055 p.26 cmLecture Notes in Mathematics6LogicaRicorsività160Hermes,Hans42101ITUNINARICAUNIMARCBK9900010074104033217-0937273FI17-093.001 POZZO LIBRARIO8458FI1FI1Term logic with choice operator79028UNINA