•  
    • Preprints

       
      Select  
      Year: Investigators  
       

      Recent 5

    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

    IM-2017-47   
    Registered: 29.7.2017
    Jeřábek Emil
    Galois connection for multiple-output operations

  •