Independence-friendly logic a game-theoretic approach

Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book push...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Mann, Allen L. (VerfasserIn), Sandu, Gabriel 1954- (VerfasserIn), Sevenster, Merlijn (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge ; New York ; Melbourne ; Madrid ; Cape Town ; Singapore ; São Paulo ; Delhi ; Tokyo ; Mexiko City Cambridge University Press 2011
Schriftenreihe:	London Mathematical Society lecture note series 386
Schlagworte:	First-order logic Game theory Spieltheorie Prädikatenlogik Stufe 1
Online-Zugang:	DE-12 DE-92 DE-188 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!