computability logic

listen to the pronunciation of computability logic
İngilizce - İngilizce
a formal theory of computability
computability logic