Rohit Parikhの本 - BookPine

Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads

Johan van Benthem

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

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

Amitabha Gupta

Theoretical Aspects of Reasoning About Knowledge: TARK Proceedings 1990

Theoretical Aspects of Reasoning About Knowledge: TARK Proceedings 1990

Rohit Parikh

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

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

Rohit Parikh

Logics of Programs

Logics of Programs

Rohit Parikh

Logic Colloquium

Logic Colloquium

Rohit Parikh