Table of Contents

Some theories conservative over intuitionistic arithmetic(16-31from Logic and Computation)