Towards applied theories based on computability logic

Re-assign community