Marcin Jukiewicz

11241479_843516892408111_24619934_n

Konsultacje w wakacje:
poniedziałek 11.00-14.00 (do 28 lipca i od 18 września)

(pok. 64 IP UAM, bud. AB)

kontakt:
marcin.jukiewicz[at]amu.edu.pl

Distributive Deductive Systems for Classical and Non-classical Logics. Proof theory supported with computational methods

Reklamy