Computability Logic giorgi/cl.html giorgi/cl.html 4-Hour lecture given at Manipal University January.
Computability Logic cis.upenn/~giorgi/cl.html