Francez, Nissim, Technion-IIT, Israel

• The Australasian Journal of Logic Vol. 16 No. 5 (2019): The Australasian Journal of Logic - Logic
  Another plan for negation
  Abstract  PDF