Ansten Klev

I am a researcher (vědecký pracovník) in the Department of Logic in the Institute of Philosophy at the Czech Academy of Sciences in Prague. Before moving to Prague, I wrote a PhD dissertation, Categories and Logical Syntax (PDF), at Leiden University under the supervision of Göran Sundholm. Besides Leiden, I have studied in Oslo, Amsterdam, and Montreal.

My main research interests are in the philosophy and history of logic and mathematics. I am especially interested in Martin-Löf's type theory and the philosophy connected therewith. Anyone with a similar interest may want to consult this repository of transcriptions.





anstenklev ætt