@article{1093887922,
author = {La Porte, Deirdre},
title = {Bibliography of Ivo Thomas.},
journal = {Notre Dame J. Formal Logic},
volume = {18},
number = {1},
year = {1977},
pages = { 195-207},
language = {en},
url = {http://dml.mathdoc.fr/item/1093887922}
}
La Porte, Deirdre. Bibliography of Ivo Thomas.. Notre Dame J. Formal Logic, Tome 18 (1977) no. 1, pp. 195-207. http://gdmltest.u-ga.fr/item/1093887922/