prof. dr hab. Marcin Tkaczyk - Logic