This page is under repair. Other places to go:
Computability Logic
Game Semantics or Linear Logic?
My official webpage