computability logic

listen to the pronunciation of computability logic