computability logic

listen to the pronunciation of computability logic
English - English
a formal theory of computability
computability logic
Favorites