On weakening the Deduction Theorem and strengthening Modus Ponens
- Bou, F.
- Font, J.M.
- Lapresta, J.L.G.
ISSN: 0942-5616
Argitalpen urtea: 2004
Alea: 50
Zenbakia: 3
Orrialdeak: 303-324
Mota: Artikulua
ISSN: 0942-5616
Argitalpen urtea: 2004
Alea: 50
Zenbakia: 3
Orrialdeak: 303-324
Mota: Artikulua