4 public-domain matches

Intuitionistic Logic

Cover of Inquisitive Logic

Inquisitive Logic

Ivano Ciardelli

Cover of Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Unknown author

Cover of Questions and dependency in intuitionistic logic

Questions and dependency in intuitionistic logic

Ivano Ciardelli, Rosalie Iemhoff, Fan Yang

Cover of Focusing And Polarization In Intuitionistic Logic

Focusing And Polarization In Intuitionistic Logic

Unknown author