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