The newt meeting

Wednesday February 26 we will discuss Section 7.7 (Applications to First-Order Logic).

Published Feb. 19, 2025 1:13 PM - Last modified Feb. 19, 2025 1:13 PM