Szukana fraza: [Temat i słowa kluczowe = informatyka] lub [Temat i słowa kluczowe = automatyka] lub [Temat i słowa kluczowe = teoria mnogości] lub [Temat i słowa kluczowe = logika matematyczna] lub [Tytuł = Definitional approach to automatic demonstration] lub [Autor = Pawlak, Zdzisław]