@article{1093891615, author = {Harris, Will}, title = {A formal metasystem for Frege's semantics.}, journal = {Notre Dame J. Formal Logic}, volume = {16}, number = {1}, year = {1975}, pages = { 89-101}, language = {en}, url = {http://dml.mathdoc.fr/item/1093891615} }
Harris, Will. A formal metasystem for Frege's semantics.. Notre Dame J. Formal Logic, Tome 16 (1975) no. 1, pp. 89-101. http://gdmltest.u-ga.fr/item/1093891615/