Logiko

• 1 - Logikaj funkcioj

• 2 - Aserta kalkulsistemo

• 3 - Predikata kalkulsistemo

• 4 - Deduktsistemoj