00980cam0-22003251i-450-99000022357040332120061219174422.0000022357FED01000022357(Aleph)000022357FED0100002235720020821d1840----km-y0itay50------bafreFRy-------001yySecrets modernes des arts et métiersouvrage comprenant les découvertes les plus récentes dans les arts industrielsrecueilli et mis en ordre par Pelouze3e éd.ParisMaison18403 v.18 cm2.: 467 p. ; 3.: 402 p.670Pelouze,Edmond297310ITUNINARICAUNIMARCBK99000022357040332113 AR 18 A 203742FINBC13 AR 18 A 213743FINBCFINBCSecrets modernes des arts et métiers122958UNINA01068nam 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