@article{1183742319,
author = {Boolos, George and McGee, Vann},
title = {The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation},
journal = {J. Symbolic Logic},
volume = {52},
number = {1},
year = {1987},
pages = { 165-171},
language = {en},
url = {http://dml.mathdoc.fr/item/1183742319}
}
Boolos, George; McGee, Vann. The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation. J. Symbolic Logic, Tome 52 (1987) no. 1, pp. 165-171. http://gdmltest.u-ga.fr/item/1183742319/