Type:Faculty MemberResearch Area:LogicResearch Area:Mathematics--Study and teachingClear