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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Mann, Allen L. (Allen Lawrence) |
Otros Autores: | Sandu, Gabriel, Sevenster, Merlijn |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cambridge ; New York :
Cambridge University Press,
2011.
|
Colección: | London Mathematical Society lecture note series ;
386. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Dependence logic : a new approach to independence friendly logic /
por: Väänänen, J. (Jouko), 1950-
Publicado: (2007) -
Calcul en logique du premier ordre /
por: Bouchard, Yves, 1963-
Publicado: (2016) -
Duality and definability in first order logic /
por: Makkai, Mihály, 1939-
Publicado: (1993) -
A lattice of chapters of mathematics : interpretations between theorems /
por: Mycielski, Jan, 1932-
Publicado: (1990) -
Simple theories and hyperimaginaries /
por: Casanovas, Enrique, 1957-
Publicado: (2011)