Wyszukiwana fraza:

formalizacja metod tablicowych dla logik zdan i logik nazw