Toggling operators in computability logic - Japaridze, Giorgi (arXiv.org, 2010)
Keywords: Axioms; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; Logic; Mathematics - Logic; Operators