The Work
Introduction to computability logic
The details
The Author
Giorgi Japaridze
The offers