1. Operations, Collections and Sets within a General Axiomatic Framework.- 2. Some Ins and Outs of Indispensability: A Modal-Structural Perspective.- 3. Carnap’s Remarks on Impredicative Definitions and the Genericity Theorem.- 4. Gödel, Turing, and K-Graph Machines.- 5. Linear Recurrence Relations are ?0Definable.- 6. On Applicative Theories.- 7. The Use of a Logical Principle of Uniform Boundedness in Analysis.- 8. Epsilon-Substitution Method for the Ramified Language and ?11-Comprehension Rule.- 9. The Abstract Compactness Theorem Revisited.- 10./On Sets Enclosed Between a Set and Its Double Complement.- 11. Binary Relations in the Social and Mathematical Sciences.- 12. Basic Logic and the Cube of its Extensions.- 13. Some Observations on Noncommutative Substructural Logics.- 14. On Predicate Logic as Modal Logic.- 15. A First-Order Effect and Modal Propositional Formulas.- 16. Herbrand’s Theorem for a Modal Logic.- 17. Intuitionistic Modal Logic.- 18. Dynamic Datastructures.- 19. Resolution and the Decision Problem.- 20. Modal Logic, Linear Logic, Optimal Lambda-Reduction.