Mirjana Borisavljevic. A Cut-Elimination Proof in Intuitionistic Predicate Logic. Annals of Pure and Applied Logic, 99(1-3):105-136, 1999.
@article{Borisavljevic99, title = {A Cut-Elimination Proof in Intuitionistic Predicate Logic}, author = {Mirjana Borisavljevic}, year = {1999}, tags = {logic}, researchr = {https://researchr.org/publication/Borisavljevic99}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {99}, number = {1-3}, pages = {105-136}, }