@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/