Proof, Computation and Agency: Logic at the Crossroads Synthese Library, nr. 352 Editat de Johan van Benthem et al. 29 mai 2013 Paperback Preț: 921.99 lei 1124.38 lei 6-8 săpt. -18%
Logics of Programs: Brooklyn, June 17-19, 1985 Lecture Notes in Computer Science, nr. 193 Editat de Rohit Parikh iun 1985 Paperback Preț: 329.66 lei 412.07 lei 6-8 săpt. -20%
Logic at the Crossroads (set): Proof, Computation and Agency Games, Norms and Reasons Editat de Amitabha Gupta et al. 30 sep 2012 Carte Preț: 731.26 lei 803.59 lei Indisponibil temporar -9%