computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability
Share your stories! login and share
"So they give you cheap things so you will marry them." "Well, that is one way of looking at it."
