01026nam0-22003491i-450-99000112802040332120071126104922.0000112802FED01000112802(Aleph)000112802FED0100011280220001205d1968----km-y0itay50------baengNLy-------001yySolvable cases of the decision problemby W. AckermannAmsterdamNorth-Holland Publishing Co.1968viii, 114 p.23 cmStudies in logic and the foundations of mathematicsRicerca operativa e programmazioneProblemi decisionali519Ackermann,Wilhelm<1896-1962>44150ITUNINARICAUNIMARCBK990001128020403321C-30-(2310999MA1MXVIII-D-28429MASMA1MASSolvable cases of the decision problem344907UNINA