Brady's Deep relevant logic DR plus the qualified factorization principles has the depth relevant condition
- Méndez, J.M.
- Robles, G.
- Salto, F.
ISSN: 0024-5836
Any de publicació: 2015
Volum: 58
Número: 232
Pàgines: 547-565
Tipus: Article
ISSN: 0024-5836
Any de publicació: 2015
Volum: 58
Número: 232
Pàgines: 547-565
Tipus: Article