A survey of computability logic
Logic in Computer Science
2016-12-15 v1
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/ .
Cite
@article{arxiv.1612.04513,
title = {A survey of computability logic},
author = {Giorgi Japaridze},
journal= {arXiv preprint arXiv:1612.04513},
year = {2016}
}
Comments
arXiv admin note: text overlap with arXiv:cs/0507045