Computability Logic Homepage



All Links

Share this:

Details of Computability Logic Homepage

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