My own solutions to Pierce's logical fondations

Updated 6 months ago