Preface. Introduction 1. Externalism, Anti-Realism and the KK Thesis 2. Choice Principles in Intuitionistic Set Theory 3. Assertion,...