Wkład użytkownika 83.23.2.105
Wygląd
Dla użytkownika 83.23.2.105 dyskusja blokady rejestry rejestr nadużyć
16 sie 2013
- 21:0921:09, 16 sie 2013 różn. hist. +3 Rachunek predykatów pierwszego rzędu →Reguła wnioskowania: Zmieniono duże phi na małe.