Free Download Proof, computation and agency: Logic at the crossr… By van Benthem J., Gupta A., Parikh R. (eds.) Publisher Springer 2011 ISBN 978-94-007-0079-6,978-94-007-0080-2,978-94-007-0920-1..
Free Download Games, norms and reasons: Logic at the crossroads… By van Benthem J., Gupta A., Pacuit E. (eds.) Publisher Springer 2011 ISBN 978-94-007-0713-9,978-94-007-0714-6,978-94-007-0920-1..