Logics of Programs Editat de Rohit Parikh iun 1985 Paperback Preț: 329.14 lei 411.42 lei 6-8 săpt. -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 6-8 săpt. -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ț: 784.22 lei 861.77 lei Indisponibil temporar -9%