Andy Poudret
Forgik to aplikacja edukacyjna do sprawdzania sekwencji przy użyciu naturalnej dedukcji.
Use APKPure App
Get Forgik - Propositional Logic P old version APK for Android