Fundamentals of computability logic

04/01/2019

∙

by   Giorgi Japaridze, et al.

∙

0

∙

share

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