  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/ .
