Transitive and Well-Founded Relations as Properties
Overview
Introduction
Transitive Relations
Well-Founded Relations
Restrictions of Well-Founded Relations
Proof Context
up HOME © RBJ V