Wolfgang Schreiner: Thinking Programs
Logical Modeling and Reasoning about Languages, Data, Computations, and Executions
Second Edition
(c) 2025 Springer Texts & Monographs in Symbolic Computation
===================================================================================

ERRATA:

page 214, Fig 6.2: The phrase "pred I ⊆ S" should be "pred I ⊆ Ss". The phrase
"pred I1 ⊆ S" should be "pred I1 ⊆ Ss".

page 220: The phrase "c(B(true))=b(1)=..." should be "c(B(true))=c(1)=...".
The phrase "c(B(false))=b(0)=..." should be "c(B(false))=c(0)=...".