Cărți de Rohit Parikh

Proof, Computation and Agency: Logic at the Crossroads

Synthese Library, nr. 352

Editat de Johan van Benthem et al.

29 mai 2013

Preț: 930^.00 lei 1134^.15 lei

43-57 zile

-18%

Logics of Programs: Brooklyn, June 17-19, 1985

Lecture Notes in Computer Science, nr. 193

Editat de Rohit Parikh

iun 1985

Preț: 332^.50 lei 415^.63 lei

43-57 zile

-20%

Logic at the Crossroads (set): Proof, Computation and Agency Games, Norms and Reasons

Editat de Amitabha Gupta et al.

30 sep 2012

Preț: 731^.27 lei 803^.60 lei

Indisponibil temporar

-9%