I’ve updated the chapter on FOL in the new-style Guide. Here again are the preliminary chapters (which you can ignore if you know the basic idea of the Guide, inherited from TYL), plus the revised chapter.
I’ve updated the chapter on FOL in the new-style Guide. Here again are the preliminary chapters (which you can ignore if you know the basic idea of the Guide, inherited from TYL), plus the revised chapter.