Deductivereasoning and bicond and algebraic proof updated 2014s
Computability Theory and Complexity Theory COT 6410