Johan van Benthem
- Auteur
Prof.dr. Johan van Benthem won de Spinoza-premie in 1996 voor zijn onderzoek op het gebied van wiskundige logica. Hij is universiteitshoogleraar aan de Universiteit van Amsterdam, hoogleraar in Stanford (VS) en Sun Yat-Sen (China) en betrokken bij talloze activiteiten in onderzoek en onderwijs over de hele wereld. De Spinoza-premie was aanleiding voor het project Logica in actie.
Prof.dr. Johan van Benthem won de Spinoza-premie in 1996 voor zijn onderzoek op het gebied van wiskundige logica. Hij is universiteitshoogleraar aan de Universiteit van Amsterdam, hoogleraar in Stanford (VS) en Sun Yat-Sen (China) en betrokken bij talloze activiteiten in onderzoek en onderwijs over de hele wereld. De Spinoza-premie was aanleiding voor het project Logica in actie.
Boeken van Johan van Benthem
Maria Luisa Dalla Chiara
Kees Doets
Daniele Mundici
Johan van Benthem
Structures and Norms in Science
€ 336,99
This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field.
Meer
Marco Aiello
Ian Pratt-Hartmann
Johan van Benthem
Handbook of Spatial Logics
€ 360,99
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy.
Meer
Johan van Benthem
Amitabha Gupta
Eric Pacuit
Games, Norms and Reasons
€ 120,99
Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics.
Meer
Johan van Benthem
Amitabha Gupta
Rohit Parikh
Proof, Computation and Agency
€ 204,99
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.
Meer
Johan van Benthem€ 33,39
Maria Luisa Dalla Chiara€ 336,99
Marco Aiello€ 360,99
Johan van Benthem€ 120,99
Johan van Benthem€ 204,99