Proof, Computation and Agency Logic at the Crossroads
E-book
Electronic resources
Record details
- ISBN: 9789400700802
-
Physical Description:
electronic
electronic resource
access
remote
XXIV, 400p. digital. - Publisher: Dordrecht : Springer Netherlands, 2011.