Brady's Deep relevant logic DR plus the qualified factorization principles has the depth relevant condition
ISSN: 0024-5836
Año de publicación: 2015
Volumen: 58
Número: 232
Páginas: 547-565
Tipo: Artículo
ISSN: 0024-5836
Año de publicación: 2015
Volumen: 58
Número: 232
Páginas: 547-565
Tipo: Artículo