[FOM] negation as a non-primitive logical constant

[Joao Marcos]

I was wondering which are the earliest references to be found in the
literature to the "intuitionistic" definition of negation of A in
terms of A implying bottom?

Joao Marcos