computability logic
Jump to navigation
Jump to search
English[edit]
Pronunciation[edit]
Audio (US) (file)
Noun[edit]
computability logic (uncountable)
- (computing, mathematics) a formal theory of computability
Audio (US) | (file) |
computability logic (uncountable)