- ==> Wissenschaftstheorie
- ==> Berechenbarkeit
- ==> vollständig, Vollständigkeit
- ==> Programmiersprachen
- ==> System, formales
- ==> Gödelscher Satz
- ==> Aussagenlogik
- ==> Pragmatik
- <== Parsing natürlicher Sprache
- ==> Sprache, formale
- ==> Transformationsgrammatik
- ==> Semantik
- ==> Semantik, formale