Proof, Computation and Agency: Logic at the Crossroads
Editat de Johan van Benthem et al.
7 apr 2011
Hardback
Preț: 918.17 lei 1119.71 lei
6-8 săpt.
-18%
Cărți de Rohit Parikh
Logics of Programs: Brooklyn, June 17-19, 1985
Editat de Rohit Parikh
iun 1985
Paperback
Preț: 326.42 lei 408.02 lei
6-8 săpt.
-20%