Search for: [Subject and Keywords = informatyka] OR [Subject and Keywords = automatyka] OR [Subject and Keywords = teoria mnogości] OR [Subject and Keywords = logika matematyczna] OR [Title = Definitional approach to automatic demonstration] OR [Creator = Pawlak, Zdzisław]