Theory of computation
External links
发布时间:
2010-03-05
浏览次数:
8
Computability Logic
- A theory of interactive computation. The main web source on this subject.