In preparation for the Fall 2021 edition of Sets, Logic, Computation, the material in the Open Logic Project has seen a number of recent changes and additions. Here’s a rundown.
In preparation for the Fall 2021 edition of Sets, Logic, Computation, the material in the Open Logic Project has seen a number of recent changes and additions. Here’s a rundown.