Comment Comment by fgh Does this include the full machinery to prove the necessary theorems or are these basically practical courses? parent fgh 4 years ago