Logic@GU
Toggle navigation
People
Seminars
(current)
Master in Logic
Lindström Lectures
Other
Nordic Online Logic Seminar
Activities
Resources
Pictures at an exhibition: (1)70 years of functorial semantics
Ivan Di Liberti, FLoV
Friday, 13 October 2023 at 10:15
J303 ·
Research Seminar
23 HT
Boole, Tarski, Stone, Lawvere, Reyes, Makkai