In the Beginning was Game Semantics?

* Final gross prices may vary according to local VAT.

Get Access

Abstract

This chapter presents an overview of computability logic—the game-semantically constructed logic of interactive computational tasks and resources. There is only one non-overview, technical section in it, devoted to a proof of the soundness of affine logic with respect to the semantics of computability logic.