1 Table of Contents: “...22. Carla Bagnoli: The Form of Practical Reasoning -- Massimo Mugnai: Publications...”

2 Table of Contents: “... Mathematics -- 8 A Counterpart of Occam’s Razor (1960, 1961) -- 9 A Theory of the Application of the Function...”

3 “.... THE RAMSEY COLLECTION Frank Plump ton Ramsey (22 February 1903 -19 January 1930) was an extra­ ordinary...”

4 Table of Contents: “.... Gentzen's Approach to Logic -- Chapter 12. The Limitations of Mathematical Logic -- Chapter 13. Logic...”

5 Table of Contents: “... Mathematics; Chapter 22 Hauptsatz for Intuitionistic Simple Type Theory; PART V GENERAL PROBLEMS...”

6 Table of Contents: “... of rational behaviour -- 5. Mathematical models and social facts -- 6. Science as a search for information...”

7 Table of Contents: “.... From Expanded Protologic to the Coding of Trees -- 22. The Coding of Trees -- 23. The Expanded Term...”

8 Table of Contents: “...: Strict Finitism vs.Intuitionism -- 2.1 The contemporary strict finitist argument -- 2.2 Linear Logic...”

9 Table of Contents: “... Fritz) -- Chapter 22. ‘The postulation of possibilities’: Response to Peter Fritz’s ‘propositional...”

10 Table of Contents: “... -- Quantifier Elimination -- 2.1 Elimination sets -- 2.2 Discrete linear orders -- 2.3 Dense linear orders...”

11 Table of Contents: “.... J. Brouwer) -- Chapter 22. Popper’s Correspondence with Rudolf Carnap (Karl R. Popper and Rudolf...”

12 Table of Contents: “.... Logical Convergence -- 2.2. Compactness Theorem -- 2.3. Omission Theorem -- 2.4. Interpretability Theorem...”

13 Table of Contents: “... inverse categories (Robin Cockett and Chris Heunen) -- Chapter 22 -- Reductive logic, proof-search...”

14 Subjects: “...Mathematical logic...”

15 Subjects: “...Mathematical Logic in Philosophy...”

16 Table of Contents: “...B.2.1 The universal modality -- B.2.2 Versatile similarity types -- B.2.3 The D-operator -- B.3...”

17 Table of Contents: “... and their residua -- 2.2 The basic many-valued logic -- 2.3 Residuated lattices; a completeness theorem -- 2.4 Some...”

18 Table of Contents: “..., and Opacity in Relevant Logic -- 21. Relevance Logic and Inferential Knowledge -- 22. Semantics Unlimited I: A...”

19 Table of Contents: “... -- 2.2 Tableaus -- 2.3 More Tableau Systems -- 2.4 Logical Consequence and Tableaus -- 2.5 Tableaus Work...”

20 Table of Contents: “.... Logical Tools -- 2.1. Monadic Languages NL -- 2.2. Q-Predicates -- 2.3. State Descriptions -- 2.4...”