Dependence logic : a new approach to independence friendly logic /
A systematic logical study of dependence also providing a precise treatment of independence friendly logic.
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Väänänen, J. (Jouko), 1950- |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cambridge :
Cambridge University Press,
2007.
|
Colección: | London Mathematical Society student texts ;
70. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Independence-friendly logic : a game-theoretic approach /
por: Mann, Allen L. (Allen Lawrence)
Publicado: (2011) -
Calcul en logique du premier ordre /
por: Bouchard, Yves, 1963-
Publicado: (2016) -
Semigroups underlying first-order logic /
por: Craig, William, 1918-
Publicado: (2006) -
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)