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%