Substrate

Logic removes all the flesh and ornaments, and gives us the underlying bones of what we know.

Other handouts can be fond on this page, http://boole.stanford.edu/cs353/handouts.html Mirrored to my Dropbox at https://www.dropbox.com/s/tn5of68rw375ftg/cs353-handouts.zip?dl=0