@article{1183741788, author = {Bencivenga, Ermanno}, title = {Review: Hugues LeBlanc, Existence, Truth and Provability}, journal = {J. Symbolic Logic}, volume = {50}, number = {1}, year = {1985}, pages = { 227-231}, language = {en}, url = {http://dml.mathdoc.fr/item/1183741788} }
Bencivenga, Ermanno. Review: Hugues LeBlanc, Existence, Truth and Provability. J. Symbolic Logic, Tome 50 (1985) no. 1, pp. 227-231. http://gdmltest.u-ga.fr/item/1183741788/