Practical Foundations of Mathematics

Paul Taylor

I. First Order Reasoning

I. First Order Reasoning

Practical Foundations of Mathematics   Paul Taylor   Cambridge University Press

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

INTRODUCTION

1.1    SUBSTITUTION

1.2    DENOTATION AND DESCRIPTION

1.3    FUNCTIONS AND RELATIONS

1.4    DIRECT REASONING

1.5    PROOF BOXES

1.6    FORMAL AND IDIOMATIC PROOF

1.7    AUTOMATED DEDUCTION

1.8    CLASSICAL AND INTUITIONISTIC LOGIC

EXERCISES  I