Computer Mathematics and Logic

Steve Kollmansberger

Current version (compiled 1 Sep 2011) PDF Download

CML is not complete; several chapters are missing and may or may not ever be completed. The entire text is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 license.

Errata: Pg 258 problem #5 alternative it should say complement but instead says commutative