My presentation about the compactness theorem of propositional and first order logic
-
Updated
Jan 3, 2023 - TeX
My presentation about the compactness theorem of propositional and first order logic
Solutions to some exercises from Walter Rudin's Functional Analysis
Add a description, image, and links to the compactness topic page so that developers can more easily learn about it.
To associate your repository with the compactness topic, visit your repo's landing page and select "manage topics."