Logika (l289)
Z Wikipédie
Logika (l289)
logika () je je teória logického vyplývania. V rámci teórie logického vyplývania sa vybudovalo množstvo klasických aj neklasických logických kalkulov (L289) .
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok