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 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%