Predikatala logiko

Predikatala logiko esas kolekto di formala sistemi o simple logikala sistemo uzata en matematiko, filozofio, linguistiko e informatiko.

Kategorio:Filozofio
Kategorio:Informatiko
Kategorio:Linguistiko
Kategorio:Matematiko