When was the idea of a well-formed formula first stated or can get inferred as such under another name?
Origin of the Notion of a Well-Formed Formula
2
$\begingroup$
logic
math-history
-
0at http://en.wikipedia.org/wiki/Gottlob_Frege they give links to translations. I cannot be positive it was Frege, of course. – 2012-09-27