Find link

language:

Find link is a tool written by Edward Betts.

searching for Computability logic 2 found (19 total)

Theory of computation (2,169 words) [view diff] case mismatch in snippet view article find links to article

. Theory of Computation at MIT Theory of Computation at Harvard Computability Logic - A theory of interactive computation. The main web source on this

Dialogical logic (5,226 words) [view diff] exact match in snippet view article find links to article

doi:10.1111/1467-8349.00076. Japaridze, G. (2003). "Introduction to computability logic". Annals of Pure and Applied Logic. 123 (1–3): 1–99. doi:10