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.