Part II - Formalizing

Table of contents

Chapter 3 - Math concepts and notation

Chapter 4 - Subset choice

Chapter 5 - Coherence

II - Formalizing - Mark Blokpoel and Iris van Rooij