Proof, Computation and Agency: Logic at the Crossroads (Synthese Library Book 352) 2011th Edition

8.67 MiB

Download ready in 3s