Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe.
A collection of excellent research papers in logic, mathematics, computer science and game theory.
Saved in: