@article{1183731427, author = {Myhill, John}, title = {A Finitary Metalanguage for Extended Basic Logic}, journal = {J. Symbolic Logic}, volume = {17}, number = {1}, year = {1952}, pages = { 164-178}, language = {en}, url = {http://dml.mathdoc.fr/item/1183731427} }
Myhill, John. A Finitary Metalanguage for Extended Basic Logic. J. Symbolic Logic, Tome 17 (1952) no. 1, pp. 164-178. http://gdmltest.u-ga.fr/item/1183731427/