1 Table of Contents: “... Axioms -- The SAT Problem of Signed CNF Formulas -- Discipline as Logic: Treating Labels as First Class...”

2 Table of Contents: “... in High-Quality Software Design -- A Complete Neural Network Algorithm for HORN-SAT -- Nondeterministic...”

3 Table of Contents: “... and Constraints -- II: Algebraic Aspects of Multiple-valued Logics -- Ulam Game, the Logic of MaxSat, and Many...”

4 Table of Contents: “... (1958) -- 13 Why Johnny Hates Math (1956) -- 14 On the Formulation of Certain Questions in Arithmetic...”

5 “... of maths and logic (William Lawvere, Peter Aczel, Graham Priest, Giovanni Sambin); analytical philosophy...”

6 “... philosophers, math­ ematicians, logicians and historians of mathematics could exchange ideas pertaining...”