Logics of Programs: Brooklyn, June 17-19, 1985 Lecture Notes in Computer Science, nr. 193 Editat de Rohit Parikh iun 1985 Paperback Preț: 326.42 lei 408.02 lei 43-57 zile -20%
Proof, Computation and Agency: Logic at the Crossroads Synthese Library, nr. 352 Editat de Johan van Benthem et al. 29 mai 2013 Paperback Preț: 912.40 lei 1112.68 lei 43-57 zile -18%
Logic at the Crossroads (Set): Proof, Computation and Agency Games, Norms and Reasons Editat de Amitabha Gupta et al. 30 sep 2012 Paperback Preț: 783.18 lei 860.64 lei Indisponibil temporar -9%