Fundamentals of computability logic 2020
Logic in Computer Science
2020-11-03 v4
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/ .
Keywords
Cite
@article{arxiv.1904.01431,
title = {Fundamentals of computability logic 2020},
author = {Giorgi Japaridze},
journal= {arXiv preprint arXiv:1904.01431},
year = {2020}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1612.04513; text overlap with arXiv:1107.3706, arXiv:1107.2284 by other authors