Giorgi Japaridze. Intuitionistic computability logic. Acta Cybernetica, 18(1):77-113, 2007. [ PDF ]
This document was translated from BibTEX by bibtex2html