The Work
Propositional computability logic II
The details
The Author
Giorgi Japaridze
The offers