INSTYTUT MATEMATYKI
Uniwersytet Śląski
40-007 Katowice, ul. Bankowa 14
tel/fax (032) 2582976
e-mail:
im@ux2.math.us.edu.pl
Tomasz Połacik
Zainteresowania naukowe
Logika matematyczna. W szczególności:
semantyka logiki intuicjonistycznej i logik pośrednich,
konstruktywne teorie pierwszego rzędu,
modele Kripkego,
arytmetyka.
Konferencje i wygłoszone odczyty
[
ZAKŁAD LOGIKI
] [
STRUKTURA
] [
INSTYTUT MATEMATYKI
]
[
STRONA GŁÓWNA
] [
CV
] [
PUBLIKACJE
] [
BADANIA
] [
DYDAKTYKA
]