jest pracownikiem Katedry Logiki Uniwersytetu Mikołaja Kopernika. Do jego naukowych zainteresowań należą m.in. zagadnienia z zakresu logik filozoficznych oraz ich zastosowań, zwłaszcza logik temporalnych. Temu ostatniemu zagadnieniu poświęcona została książka Jutrzejsza bitwa morska: rozumowanie Diodora Kronosa.
Formalizacja metod tablicowych dla logik zdań i logik nazw
autorzy:
Tomasz Jarmużek
Rok wydania:2013
Nr wydania:pierwsze
Liczba stron:264
ISBN:978-83-231-3023-9
zobacz fragment