Practical Foundations of Mathematics

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 ... Read full article.