Monadic version of Glivenko's theorem

資料に関する注記

一般注記：: リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）本文は図書館に配架されています。 / This material is stored in the JAIST library.identifier:https://dspace.jaist.ac.jp/dspace/handle/1011...

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

JAIST学術研究成果リポジトリ
紙
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
JAIST学術研究成果リポジトリのサイトでこの本を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 文書・図像類
タイトル: Monadic version of Glivenko's theorem
著者・編者: Bezhanishvili, Guram
著者標目: Bezhanishvili, Guram
出版事項: 北陸先端科学技術大学院大学情報科学研究科
出版年月日等: 1997-08
出版年（W3CDTF）: 1997-08
タイトル（掲載誌）: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
巻号年月日等（掲載誌）: IS-RR-97-0035
掲載巻: IS-RR-97-0035
掲載ページ: 1-15
ISSN（掲載誌）: ISSN : 0918-7553
本文の言語コード: eng
対象利用者: 一般
一般注記: リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）
本文は図書館に配架されています。 / This material is stored in the JAIST library.
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/14513
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ