1 Table of Contents: “...Smash products of spectra -- Abstract homotopy theory of n-fold spectra -- First applications...”

2 Table of Contents: “... -- appendix A--The SATs and your calculator -- appendix B--Calculator skills summary -- appendix C--Something...”

3 “... of Arcetri, on a wooded hillside just south of Florence, an old man sat writing his will. He had to make a...”

4 Table of Contents: “...; Automated reasoning and SAT; Part I: Foundations; Chapter 2: The Event Calculus; 2.1 First-order logic...”

5 Table of Contents: “... Discrete Event Calculus Reasoner Architecture -- 13.2 Encoding SAT Problems -- 13.3 Simple Examples -- 13.4...”