Title: Logic with Symlog
Subjects: Study and teaching, Symbolic and mathematical Logic, Symlog