Marcin Jukiewicz

11241479_843516892408111_24619934_n

Konsultacje w semestrze zimowym:
poniedziałek 11.00-14.00
środa 9.00-11.00

(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