Johan van Benthem의 책들 - BookPine

Language in Action: Categories, Lambdas, and Dynamic Logic

Language in Action: Categories, Lambdas, and Dynamic Logic

Johan van Benthem

Logical Dynamics of Information and Interaction

Logical Dynamics of Information and Interaction

Johan van Benthem

Handbook of Modal Logic

Handbook of Modal Logic

Patrick Blackburn

Logic in Games

Logic in Games

Johan van Benthem

A Formal Epistemology Reader

A Formal Epistemology Reader

Horacio Arlo-Costa

Games, Norms and Reasons: Logic at the Crossroads

Games, Norms and Reasons: 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

Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads

Johan van Benthem

Handbook of Logic and Language

Handbook of Logic and Language

Johan van Benthem

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Maria Luisa Dalla Chiara

Modal Logic for Open Minds (Volume 199)

Modal Logic for Open Minds (Volume 199)

Johan van Benthem

Logica in actie

Logica in actie

Johan van Benthem

Epistemology: 5 Questions

Epistemology: 5 Questions

Johan van Benthem

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Texts in Logic and Games)

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Texts in Logic and Games)

Johan van Benthem

Handbook of Spatial Logics

Handbook of Spatial Logics

Marco Aiello

Handbook of Modal Logic (Volume 3)

Handbook of Modal Logic (Volume 3)

Patrick Blackburn

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today

Johan van Benthem

Words, Proofs and Diagrams (Volume 141)

Words, Proofs and Diagrams (Volume 141)

Dave Barker-Plummer