Categorical Universal Logic: Lawvere-Tierney Topology and Logical Translation ALGI 2012 丸山善宏 リンク情報 URLhttp://researchmap.jp/muiaq7gkz-28320/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=47433&metadata_id=16302 エクスポート BibTeX RIS