pokój

tel. wewn.

KIEROWNIK ZAKŁADU:
Doc. dr hab.Piotr Wojtylak	588	18-64
dr Andrzej Biela	340	15-28
dr hab. Wojciech Dzik	587	13-92
dr Tomasz Połacik	587	13-92
dr Marek Wojtylak	338	BRAK

Tematyka badań naukowych:

Logika matematyczna i jej zastosowania.
Charakteryzacja logiki intuicjonistycznej semantykami topologicznymi i teorio-grafowymi.
Teoria dowodu