b'\n_START_ARTICLE_\nLeszek Ko\xc5\x82odziejczyk\n_START_SECTION_\n\xc5\xbbycie i tw\xc3\xb3rczo\xc5\x9b\xc4\x87\n_START_PARAGRAPH_\nStudia matematyczne uko\xc5\x84czy\xc5\x82 na Uniwersytecie Warszawskim (2004). Stopie\xc5\x84 doktorski z filozofii uzyska\xc5\x82 na Wydziale Filozofii i Socjologii UW w 2005 na podstawie pracy pt. Truth Definitions and Higher Order Logics in Finite Models, przygotowanej pod kierunkiem prof. Marcina Mostowskiego. Habilitowa\xc5\x82 si\xc4\x99 ju\xc5\xbc na Wydziale Matematyki, Informatyki i Mechaniki UW w zakresie matematyki w 2014 na podstawie oceny dorobku naukowego i rozprawy pt. Model-theoretic proofs of unprovability theorems in bounded arithmetic._NEWLINE_Swoje prace publikowa\xc5\x82 w takich czasopismach jak m.in. \xe2\x80\x9eAnnals of Pure and Applied Logic\xe2\x80\x9d, \xe2\x80\x9eJournal of Symbolic Logic\xe2\x80\x9d, \xe2\x80\x9eTransactions of the Amaerican Mathematical Society\xe2\x80\x9d, \xe2\x80\x9eFundamenta Mathematicae\xe2\x80\x9d, \xe2\x80\x9eMathematical Logic Quarterly\xe2\x80\x9d oraz \xe2\x80\x9eArchive for Mathematical Logic\xe2\x80\x9d.'