Ahmad-Saher Azizi-Sultan

CPPL verbessert die klassische Logik, indem es natürliche Zahlen und Zählbeschränkungen einbezieht.