|
zpravodaj ČSKI - červen 2012 [ pdf ] |
datum: 13.6.2012 v 9:00 název: Linearization of Proofs in Propositional Hilbert Systems přednášející: Karel Chvalovský (UI) místo konání: UI, 2.patro, místnost č.318 souhrn datum: 27.6.2012 v 9:00 název: Forcing: Eastonova věta a bi-interpretace přednášející: Jana Glivická (UI),
Martin Blicha místo konání: UI, 2.patro, místnost č.318 souhrn |