Příspěvky uživatele 88.101.20.49
uživatele 88.101.20.49 diskuse kniha zablokování protokolovací záznamy kniha globálních zablokování protokol zneužití
24. 5. 2006
- 22:3524. 5. 2006, 22:35 rozdíl historie −13 Existenční kvantifikátor Bez shrnutí editace
- 11:0724. 5. 2006, 11:07 rozdíl historie +386 Predikát (logika) Bez shrnutí editace
- 10:4024. 5. 2006, 10:40 rozdíl historie +79 N Predikát (logika) Bez shrnutí editace
23. 5. 2006
- 23:0223. 5. 2006, 23:02 rozdíl historie +2 Existenční kvantifikátor Bez shrnutí editace
- 22:4123. 5. 2006, 22:41 rozdíl historie +171 Existenční kvantifikátor →Existenční kvantifikátor
- 21:5023. 5. 2006, 21:50 rozdíl historie +309 N Existenční kvantifikátor Bez shrnutí editace
- 20:5023. 5. 2006, 20:50 rozdíl historie +129 Implikace →Definice