Title: Pak
Subjects: Logic, symbolic and mathematical