Szukana fraza: [Temat i słowa kluczowe = informatyka] lub [Temat i słowa kluczowe = arytmetyka] lub [Temat i słowa kluczowe = komputery] lub [Temat i słowa kluczowe = arytmetyka formalna] lub [Tytuł = On the utility of arithmetical formalisms in digital computers] lub [Autor = Pawlak, Zdzisław]