Wkład użytkownika 89.75.121.230
Wygląd
Wyniki dla użytkownika 89.75.121.230 dyskusja blokady rejestry rejestr globalnych blokad rejestr nadużyć
9 lut 2010
- 22:3522:35, 9 lut 2010 różn. hist. +1477 N Arytmetyka Presburgera Nowa strona: Arytmetyka Presburgera jest układem aksjomatycznym liczb naturalnych z dodawaniem. Nazywana jest także arytmetyką Peano bez mnożenia. Języ...