Gregory Huber (MATH) presents: “The structure of logic: First order logic and the Borel Hierarchy” for Honours Fest 2024. Research supervised by Chris Eagle.
Categories
Gregory Huber (MATH) presents: “The structure of logic: First order logic and the Borel Hierarchy” for Honours Fest 2024. Research supervised by Chris Eagle.