edycji
stron
aktywnych użytkowników w ostatnim miesiącu
Formuła 1 – formuła logiczna: A¹∀B¹(∀x¹(x¹∈A↔x¹∈B¹→A¹=B))¹.
Dlaczego toruński Rudak porównuje się do Persefony?