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