Digital systems, linear algebra, introduction to formal proof
= Digital systems, linear algebra, introduction to formal proof
{scope}
{title2=A10101W1}
The original cover establishes the date as 19 June 2015. The solutions use the printed question numbering and the <natural deduction> rules supplied with this paper.<Digital systems, linear algebra, introduction to formal proof examination paper by the University of Oxford (2015)>[Cover and Figures 1–3, printed pages 1 and 7]{ref}