arytmetyka Presburgera 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
układ aksjomatyczny liczb naturalnych z dodawaniem.
Brak relacji po tej stronie
Polskihiperonimia
arytmetyka 2
rzeczownik
dział metematyki zajmujący się działaniem na liczbach.
