Logická syntax
rozlišovacia stránka
Logická syntax môže byť
- systém pravidiel, ktoré určujú tvorenie a pretváranie výrazov určitého kalkulu
- časť metalogiky, skúmajúca štruktúru a vlastnosti neintrepretovaných kalkulov.
Externé odkazy
upraviť- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
Toto je rozlišovacia stránka. Obsahuje odkazy na rozličné stránky, ktoré by mohli mať rovnaký názov.
- Ak ste sa sem dostali cez odkaz v článku, prosím, vráťte sa a opravte ho tak, aby odkazoval priamo na najvhodnejší význam.