Verze z 2. 4. 2007, 12:06 editovat Glivi (diskuse \| příspěvky) 3 556 editací další definice (vydělením z článku Hilbertovský kalkulus, potažmo Axiom) ← Přejít na předchozí porovnání		Verze z 1. 5. 2007, 02:42 editovat zrušit editaci JAnDbot (diskuse \| příspěvky) Roboti 1 711 530 editací m robot přidal: ja:論理式 Přejít na další porovnání →
Řádek 44: [[en:Formula (mathematical logic)]] [[fr:~~formule~~Formule (logique mathématique)]] [[ja:論理式]] [[pl:Formuła logiczna]] [[zh:公式 (数理逻辑)]]

Formule (logika): Porovnání verzí