[FOM] The Adventures of the Turnstile

[Arnold Neumaier]

On 01/09/2017 11:09 AM, jean-yves beziau wrote:
> 
> In general I am much interested in semiotics, in particular the use of
> symbols and notations in logic and mathematics.

Jeff Miller actively maintains a usually very detailed and accurate list
     http://jeff560.tripod.com/mathsym.html
of Earliest Uses of Various Mathematical Symbols, including a section on
logic. But it doesn't (yet) include information about the origin of the
turnstile.


Arnold Neumaier