Deductive Systems Course @ Yale. Taught by Prof. Carsten Schuermann