Research Area:LogicResearch Area:Mathematics--Study and teachingType:Faculty MemberClear