Turing degree: Computer Science, Mathematical Logic, Computability Theory, Partially Ordered Set, Reduction, Oracle Machine, Equivalence Relation, Class, Many One Reduction

Mathematical Logic for Computer Science

MATHEMATICAL LOGIC, COMPUTABILITY, COMPLEXITY, & RANDOMNESS

Mathematical Logic: For Computer Science with Corrected Exercises

One Instruction Set Computer: RISC, Abstract Machine, Machine Language, Opcode, Universal Computer,...