Johan van Benthem

Johan van Benthem is the author of "Interactive Logic", "Proof, Computation and Agency", "Words, Proofs and Diagrams" and "Logical Dynamics of Information and Interaction".

Books by Johan van Benthem

Structures and No...
Chiara Maria Luisa ...
Paperback:

Modal Logic for O...
van Benthem, Johan
Hardback:

Proof, Computatio...
van Benthem Johan
Paperback:

Structures and No...
Chiara Maria Luisa ...
Paperback: $349.99

The Logic of Time
van Benthem, Johan
Electronic book text: $269.00

Interactive Logic
van Benthem Johan
Paperback: $74.95

Proof, Computatio...
Gupta Amitabha
Hardback: $169.99

Models of Strateg...
van Benthem Johan
Electronic book text: $129.00

The Tenth Interna...
Dalla Chiara Maria ...
Book: $589.00

Logical Dynamics ...
van Benthem, Johan
Digital (delivered electronically): $165.00

The Logic of Time
van Benthem, Johan
Paperback: $109.99

Essays in Logical...
van Benthem, Johan
Electronic book text: $74.00