computability logic

listen to the pronunciation of computability logic
الإنجليزية - الإنجليزية
a formal theory of computability