Äärellisten mallien seminaari

Äärellisten mallien seminaari pidetään Tampereella Pinni B2078:ssa perjantaina 18.4. klo 12-14

Mikko Männikkö: Epäfregeläinen lauselogiikka


Finite model theory seminar

Finite model theory seminar will take place in Tampere, in Pinni B2078 on Friday, 18.4. at 12-14

Mikko Männikkö: Non-Fregean propositional logic