Ajdukiewicz–Bar-Hillel calculus

GPTKB entity

Statements (13)