A two-hour tour of computability logic January 8, 2008 Giorgi Japaridze.
Computability Logic giorgi/cl.html giorgi/cl.html 4-Hour lecture given at Manipal University January.
Computability Logic cis.upenn/~giorgi/cl.html