Citations:protosyntax

Earliest Usenet uses via Google Groups: &mdash; Hippietrail 02:16, 25 Mar 2005 (UTC)
 * protosyntax: sci.logic - 23 Nov 1992 by Gary Merrill
 * However, since the extended theory contains the protosyntax of the base theory, it is not clear what can be made of this for claims about eliminability or uneliminability in general.