Mario R. F. Benevides. Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction. In Georg Gottlob, Alexander Leitsch, Daniele Mundici, editors, Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC 93, Brno, Czech Republic, August 24-27, 1993, Proceedings. Volume 713 of Lecture Notes in Computer Science, pages 120-131, Springer, 1993.
@inproceedings{Benevides93,
title = {Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction},
author = {Mario R. F. Benevides},
year = {1993},
researchr = {https://researchr.org/publication/Benevides93},
cites = {0},
citedby = {0},
pages = {120-131},
booktitle = {Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC 93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
editor = {Georg Gottlob and Alexander Leitsch and Daniele Mundici},
volume = {713},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57184-1},
}