★ See also the PDF version of this chapter (better formatting/references) ★
See this Github repository for the current updated version of all online appendices.
Copyright 2018, Boaz Barak.
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
HTML version is produced using the Distill template, Copyright 2018, The Distill Template Authors.