-
1
Advances in Proof-Theoretic Semantics
Published 2016Table of Contents: “…On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama.…”
Link to Metadata
Electronic eBook -
2
Peter Schroeder-Heister on Proof-Theoretic Semantics
Published 2024Table of Contents: “…Chapter 1. Proof-theoretic semantics: An autobiographical survey (Peter Schroeder-Heister) -- Chapter 2. …”
Link to Metadata
Electronic eBook -
3
An Introduction to Formal Logic
Published 2012Table of Contents: “…-- Chapter 2: Sentential logic -- Chapter 3: Truth tables -- Chapter 4: Quantified logic -- Chapter 5: Formal semantics -- Chapter 6: Proofs…”
Access online version
Electronic eBook -
4
-
5
-
6
Fundamental Methods of Logic
Published 2017Table of Contents: “…Syntax of SL -- III. Semantics of SL -- IV. Translating from English into SL -- V. …”
Access online version
Electronic eBook -
7