Parts of the Open Logic Text as well as the textbooks Sets, Logic, Computation and Set Theory are now available in (Brazilian) Portuguese. The Portuguese translation and adaptation is by Pedro Lima, a philosophy student based in Portugal. He plans to continue […]
[Original post on mathstodon.xyz]
