Tore Langholm. A Strong Version of Herbrand s Theorem for Introvert Sentences. Journal of Symbolic Logic, 63(2):555-569, 1998.
@article{Langholm98,
title = {A Strong Version of Herbrand s Theorem for Introvert Sentences},
author = {Tore Langholm},
year = {1998},
researchr = {https://researchr.org/publication/Langholm98},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {63},
number = {2},
pages = {555-569},
}