Towards applied theories based on computability logic

Open in new window