Burton Dreben, John Denton. A Supplement to Herbrand. Journal of Symbolic Logic, 31(3):393-398, 1966.
@article{DrebenD66,
title = {A Supplement to Herbrand},
author = {Burton Dreben and John Denton},
year = {1966},
researchr = {https://researchr.org/publication/DrebenD66},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {31},
number = {3},
pages = {393-398},
}