Słowa kluczowe: rachunek zdań rachunek predykatów rachunek rezolucyjny logika nieklasyczna logika w informatyce logika informatyka Rodzaj dokumentu: Książka
URL:
x