Wkład użytkownika 2A02:A31D:8540:8D80:0:0:0:0/60
Dla użytkownika 2A02:A31D:8540:8D80:0:0:0:0/60 blokady
29 sty 2017
- 17:3617:36, 29 sty 2017 różn. hist. −36 Logika LTL 2a02:a31d:8540:8d80:7854:985:500d:561e (dyskusja) →PLTL: poprawiona definicja R Znacznik: VisualEditor