51:23Quantification with ΣΠ∀∃ and Scope ─⟦Maths for Computing 14⟧Musa Al-hassy280 viewsView & Download