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
Research interests
Mathematical logic. In particular:
semantical investigation of intuitionistic and intermediate logics,
constructive first-order theories,
Kripke models,
arithmetic.
Conferences and talks
[
LOGIC GROUP
] [
STRUCTURE
] [
INSTITUTE OF MATHEMTICS
]
[
HOME PAGE
] [
CV
] [
PAPERS
] [
RESEARCH
] [
TEACHING
]