Marcin Jukiewicz

11241479_843516892408111_24619934_n

Konsultacje w semestrze zimowym (bardzo polecam umówić się wcześniej mailowo):
poniedziałek 11.00-14.00
wtorek 9.45-11.15

(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