arytmetyka Presburgera 1noundomain: thinkingregister: specj.Słowosieć [ver.5.0]PolishDefinitionukład aksjomatyczny liczb naturalnych z dodawaniem. Report errorPath to highest hypernymMorphologySynset graph