1
Published 2022
Springer International Publishing
Table of Contents: ... -- Chapter 2. Universal algebraic methods for non-classical logics (James G. Raftery) -- Chapter 3. Abstract...

2
by Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents: ... Mathematics; Chapter 22 Hauptsatz for Intuitionistic Simple Type Theory; PART V GENERAL PROBLEMS...

3
by Stephanou, Yannis
Published 2024
Cambridge University Press
Table of Contents: ... -- Chapter 1 Aspects of paradox -- 1.1. The liar and its variants -- 1.2. Propositions and truth-values...

4
Published 2023
Springer Nature Switzerland
... Congress on Universal Logic (UNILOG 22), in Crete, and including additional invited chapters, the book...

5
by Fraïssé, R.
Published 1974
Springer Netherlands
Table of Contents: .... Logical Convergence -- 2.2. Compactness Theorem -- 2.3. Omission Theorem -- 2.4. Interpretability Theorem...