Logique et preuve 1, Jean-Raymond Abrial · Super Livre