Marcin Jukiewicz

11241479_843516892408111_24619934_n

Konsultacje w semestrze letnim (bardzo polecam umówić się wcześniej mailowo):
poniedziałek 11.00-14.00
piątek 11.30-13.30

(na MS Teams a nie w 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