Thema: Logic, Symbolic and mathematical