Produkt mají v nabídce:
Independence-Friendly Logic - Mann, Allen L. (University of Tampere, Finland) a Sandu, Gabriel (University of Helsinki) a Sevenster, Merlijn (Philips Research Laboratories, The Netherlands)
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic, an exciting logical formalism at the interface of logic and game theory. It is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic.
