Gentzen Methods in Quantum Logic

Notes on use

Note (General)：: * single copies can be downloaded and printed for the reader's personal research and study* copies can only be printed and used internally within the ...

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Tulips-R
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
Tulips-R

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Gentzen Methods in Quantum Logic
Author/Editor: 西村, 泰一
Author Heading: 西村, 泰一ニシムラ, ヒロカズ
Publication, Distribution, etc.: ELSEVIER
Publication Date: 2007-08
Publication Date (W3CDTF): 2007-08
Periodical title: Handbook of quantum logic and quantum structures : quantum logic
Pages: 227-260
Text Language Code: eng
Target Audience: 一般
Note (General): * single copies can be downloaded and printed for the reader's personal research and study
* copies can only be printed and used internally within the requesting company or organization
Format (IMT): application/pdf
Source: fulltext
https://tsukuba.repo.nii.ac.jp/record/17581/files/Nishimura.pdf
Access Restrictions: インターネット公開
Related Material (URI): URI
http://www.sciencedirect.com/science/book/9780444528704
Periodical Title (NCID): BA88660041
https://ci.nii.ac.jp/ncid/BA88660041
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 筑波大学 : つくばリポジトリ