Logique, calcul logique, logique du premier ordre, syntaxe sémantique
Connaissances en logique, calcul logique, syntaxe sémantique