Proof, Computation and Agency || Some Re
โ
van Benthem, Johan; Gupta, Amitabha; Parikh, Rohit
๐
Article
๐
2011
๐
Springer Netherlands
โ 799 KB