Intuitionistic Logic with Strong Negation (1977)

by Y Gurevich
Venue:Studia Logica