Cover of Peter Schroeder-Heister on Proof-Theoretic Semantics

Legal full-text edition

Peter Schroeder-Heister on Proof-Theoretic Semantics

Unknown author · 2024

Proof-theoretic Semantics Logical Constants Proof Theory Deductive Logic Constructive Logic Intuitionistic Logic Mathematical Logic

Open source ↗ DOAB

Rights
Public-domain status shown for GLOBAL. DOAB open-access record with explicit license: open access