Practical Foundations of Mathematics

Paul Taylor

II. Types and Induction

II. Types and Induction

Practical Foundations of Mathematics   Paul Taylor   Cambridge University Press

Introduction   I   II   III   IV   V   VI   VII   VIII   IX   Bibliography  Index

INTRODUCTION

2.1    CONSTRUCTING THE NUMBER SYSTEMS

2.2    SETS (ZERMELO TYPE THEORY)

2.3    SUMS, PRODUCTS AND FUNCTION-TYPES

2.4    PROPOSITIONS AS TYPES

2.5    INDUCTION AND RECURSION

2.6    CONSTRUCTIONS WITH WELL FOUNDED RELATIONS

2.7    LISTS AND STRUCTURAL INDUCTION

2.8    HIGHER ORDER LOGIC

EXERCISES  II