Practical Foundations of Mathematics

Paul Taylor

Practical Foundations of Mathematics

Practical Foundations of Mathematics

I NTRODUCTION

I F IRST O RDER R EASONING

II T YPES AND I NDUCTION

III P OSETS AND L ATTICES

IV C ARTESIAN C LOSED C ATEGORIES

V L IMITS AND C OLIMITS

VI S TRUCTURAL R ECURSION

VII A DJUNCTIONS

VIII A LGEBRA WITH D EPENDENT T YPES

IX T HE Q UANTIFIERS

B IBLIOGRAPHY