MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic ...
Unless otherwise specified, all page numbers refer to the course textbook (Language, Proof and Logic). This schedule is subject to revision - please check the course website for updates. In particular ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results