@article{1183745519,
author = {Langholm, Tore},
title = {A Strong Version of Herbrand's Theorem for Introvert Sentences},
journal = {J. Symbolic Logic},
volume = {63},
number = {1},
year = {1998},
pages = { 555-569},
language = {en},
url = {http://dml.mathdoc.fr/item/1183745519}
}
Langholm, Tore. A Strong Version of Herbrand's Theorem for Introvert Sentences. J. Symbolic Logic, Tome 63 (1998) no. 1, pp. 555-569. http://gdmltest.u-ga.fr/item/1183745519/