Universitat de Barcelona-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2004

  1. On weakening the Deduction Theorem and strengthening Modus Ponens

    Mathematical Logic Quarterly, Vol. 50, Núm. 3, pp. 303-324