A survey of computability logic
arXiv:1612.04513
Abstract
This article presents a survey of computability logic: its philosophy and motivations, main concepts and most significant results obtained so far. A continuously updated online version of this article is maintained at http://www.csc.villanova.edu/~japaridz/CL/ .
arXiv admin note: text overlap with arXiv:cs/0507045