> >

Computability Logic Homepage
Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.

Keyword Results for
this URL
Total
searches