The Work

Computability logic: a formal theory of interaction

The details

The Author

Giorgi Japaridze

The offers