01068nam a2200301 i 450099100142211970753620020507193153.0970709s1970 de ||| | eng b10845343-39ule_instLE01312024ExLDip.to Matematicaeng511.3AMS 03BHermes, Hans42101Term logic with choice operator /Hans Hermes[1st engl. ed.]Berlin ; New York :Springer-Verlag,197055 p. ;26 cm.Lecture notes in mathematics,0075-8434 ;6Rev. and enl. transl. of: Eine Termlogik mit Auswahloperator.Bibliography: p. 53Symbolic logic.b1084534323-02-1728-06-02991001422119707536LE013 03B HER11 (1970)12013000089126le013-E0.00-l- 00000.i1095585928-06-02Term logic with choice operator79028UNISALENTOle01301-01-97ma -engde 01