<em id="zlul0"></em><dl id="zlul0"><menu id="zlul0"></menu></dl>

    <em id="zlul0"></em>

      <dl id="zlul0"></dl>
        <div id="zlul0"><tr id="zlul0"><object id="zlul0"></object></tr></div>
        <em id="zlul0"></em>

        <div id="zlul0"><ol id="zlul0"></ol></div>
        31,343
        reputation
        3
        91
        146

        Emil Je?ábek

        I am a researcher at the Institute of Mathematics of the Czech Academy of Sciences. I work in the field of mathematical logic, specifically proof complexity (mainly subsystems of bounded arithmetic, but also propositional proof complexity) and nonclassical logics (admissible rules of modal, superintuitionistic, and other propositional logics).

        390
        answers
        1
        question
        ~372k
        people reached
        • Prague
        • Member for 8 years, 6 months
        • 10,640 profile views
        • Last seen 3 hours ago

        Top tags (165)

        Score 1,328
        Posts 173
        Posts % 44
        Score 533
        Posts 59
        Score 324
        Posts 53
        Score 321
        Posts 52
        Score 311
        Posts 39
        Score 237
        Posts 28

        Top posts (391) All Questions Answers | Votes Newest

        View all questions and answers

        Badges (240)

        Gold

        3

        Rarest

        Silver

        91

        Rarest

        Bronze

        146

        Rarest

        山西福彩快乐十分钟
          <em id="zlul0"></em><dl id="zlul0"><menu id="zlul0"></menu></dl>

          <em id="zlul0"></em>

            <dl id="zlul0"></dl>
              <div id="zlul0"><tr id="zlul0"><object id="zlul0"></object></tr></div>
              <em id="zlul0"></em>

              <div id="zlul0"><ol id="zlul0"></ol></div>
                <em id="zlul0"></em><dl id="zlul0"><menu id="zlul0"></menu></dl>

                <em id="zlul0"></em>

                  <dl id="zlul0"></dl>
                    <div id="zlul0"><tr id="zlul0"><object id="zlul0"></object></tr></div>
                    <em id="zlul0"></em>

                    <div id="zlul0"><ol id="zlul0"></ol></div>
                    北京赛pk10基本走势图 5230手机捕鱼达人 重庆百变王牌开奖走势图 重庆时时开奖现场 澳洲幸运10计划蔻蔻83214 一分赛app下载安装 体彩排列五开奖结果查询结果是 极速时时器 彩经网3d 极速赛车开奖官网