Couvre la règle danalyse de cas, la résolution propositionnelle, la solidité, lexhaustivité et la résolution sur les clauses, avec des exercices pratiques inclus.
Introduit le Mathgraph Theorem Prover, montrant son approche unique pour représenter des propositions et organiser des graphiques pour la logique de premier ordre.
Explore la sémantique musicale, discute des inférences déclenchées par différents éléments musicaux et propose un cadre pour comprendre le sens de la musique.
