00909nam0-22003251i-450-99000095073040332120071126104616.0000095073FED01000095073(Aleph)000095073FED0100009507320001205d1954----km-y0itay50------baengNLy-------001yySolvable cases of the decision problemW. AckermannAmsterdamNorth-Holland1954VIII, 114 p.22 cmStudies in logic and the foundations of mathematicsLogicaRicorsività160Ackermann,Wilhelm<1896-1962>44150ITUNINARICAUNIMARCBK9900009507304033217-040438FI1FI1Solvable cases of the decision problem344907UNINA