•  
    • Preprints

       
      Select  
      Year: Investigators  
       

      Recent 5

    IM-2018-14   
    Registered: 3.4.2018
    Jeřábek Emil
    Rigid models of Presburger arithmetic

    IM-2017-74   
    Registered: 7.11.2017
    Akbar Tabatabai Amirhossein
    Geometric modality and weak exponentials

    IM-2017-73   
    Registered: 7.11.2017
    Akbar Tabatabai Amirhossein
    Russellian propositional logics and the BHK interpretation

    IM-2017-72   
    Registered: 7.11.2017
    Akbar Tabatabai Amirhossein
    Computational flows in arithmetic

    IM-2017-71   
    Registered: 7.11.2017
    Akbar Tabatabai Amirhossein
    Provability logics of hierarchies

  •