Title: Peraḳim be-esteṭiḳah
Subjects: Language and languages, Symbolic and mathematical Logic