Fundamentals of computability logic 2020
arXiv:1904.01431
Abstract
This article is a semitutorial-style survey of computability logic. An extended online version of it is maintained at http://www.csc.villanova.edu/~japaridz/CL/ .
arXiv admin note: substantial text overlap with arXiv:1612.04513; text overlap with arXiv:1107.3706, arXiv:1107.2284 by other authors