This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., …
