Cargando…

Dependence logic : a new approach to independence friendly logic /

A systematic logical study of dependence also providing a precise treatment of independence friendly logic.

Detalles Bibliográficos
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