Gentzen method in modal calculi. II

Ohnishi, Masao; Matsumoto, Kazuo

Osaka Mathematical Journal, 1959, 11(2), 115-120

アクセス数:156件（2025-05-13 01:06 集計）

固定URL: https://doi.org/10.18910/5618

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
omj11_02_02	pdf	なし	597 KB	344	2012.09.22

タイトル	Gentzen method in modal calculi. II
著者	NRID 1000070030533 1000070030533 著者名 Ohnishi, Masao
著者	著者名 Matsumoto, Kazuo
出版者	Department of Mathematics, Osaka University
収録物名	Osaka Mathematical Journal
巻(号)	11(2)
ページ	115-120
刊行年月	1959
言語	英語
ハンドルURL	https://hdl.handle.net/11094/5618
DOI	https://doi.org/10.18910/5618
PISSN	00306126
NCID	AA00765921
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	紀要論文 Departmental Bulletin Paper
カテゴリ	Osaka Mathematical Journal / Volume 11, Number 2　(1959）

資源タイプ	紀要論文
ローカル資源タイプ	紀要論文
DCMI資源タイプ	text
作成日	1959
DCTERMS.bibliographicCitation	Osaka Mathematical Journal. 1959, 11(2), p. 115-120
DC.title	Gentzen method in modal calculi. II
DC.creator	Ohnishi, Masao
DC.creator	Matsumoto, Kazuo
DC.publisher	Department of Mathematics, Osaka University
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	1959
DC.identifier	10.18910/5618
DC.format	5618
citation_title	Gentzen method in modal calculi. II
citation_author	Ohnishi, Masao
citation_author	Matsumoto, Kazuo
citation_publisher	Department of Mathematics, Osaka University
citation_language	英語
citation_date	1959
citation_journal_title	Osaka Mathematical Journal
citation_volume	11
citation_issue	2
citation_firstpage	115
citation_lastpage	120
citation_public_url	https://hdl.handle.net/11094/5618
citation_doi_detail	10.18910/5618
citation_doi	https://doi.org/10.18910/5618