@book{oai:tsukuba.repo.nii.ac.jp:00017581, author = {西村, 泰一 and NISHIMURA, Hirokazu}, month = {Aug}, note = {* 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}, publisher = {ELSEVIER}, title = {Gentzen Methods in Quantum Logic}, year = {2007}, yomi = {ニシムラ, ヒロカズ} }