The result was Speedy delete, author request. Pascal.Tesson 15:19, 30 July 2007 (UTC)[reply]
The present reference doesn't seem to exist, if it's a book. It's not on Amazon.com nor in the Library of Congress database. (Previous references have been shown to be incorrect.) Importance not specified (and ((importance)) tag removed without serious comment). Even if the reference did exist, was a WP:RS, and the importance was specified, it could be merged into a section of formal grammar or formal language. — Arthur Rubin | (talk) 14:26, 28 July 2007 (UTC)[reply]
Like I said, I don't play games on Wikipedia. FS is a legitimate formal language.
The existence of language FS informs us about the nature of concepts such as "theorem," "lemma," "proof," scores of others .... and everything in mathematics.
...which explains the hard on this guy has. There is a big entrenchment going on with the mathematical logic people in response to the creation of WikiProject Logic and its "philosophical" logic of which they have no care (or by their own admission, any notion).
This guy is either a genuine asshole or he is aloof and unaware that he is being an asshole (in which case I sympathize and feel somewhat forgiving). Be well all.
Gregbard 14:44, 28 July 2007 (UTC)[reply]