Gentzen decision procedures for Lewis's systems S2 and S3

Ohnishi, Masao

Osaka Mathematical Journal, 1961, 13(1), 125-137

アクセス数:129件（2025-03-14 17:23 集計）

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

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

タイトル	Gentzen decision procedures for Lewis's systems S2 and S3
著者	NRID 1000070030533 1000070030533 著者名 Ohnishi, Masao
出版者	Department of Mathematics, Osaka University
収録物名	Osaka Mathematical Journal
巻(号)	13(1)
ページ	125-137
刊行年月	1961
言語	英語
ハンドルURL	https://hdl.handle.net/11094/4163
DOI	https://doi.org/10.18910/4163
PISSN	00306126
NCID	AA00765921
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	紀要論文 Departmental Bulletin Paper
カテゴリ	Osaka Mathematical Journal / Volume 13, Number 1　(1961）

資源タイプ	紀要論文
ローカル資源タイプ	紀要論文
DCMI資源タイプ	text
作成日	1961
DCTERMS.bibliographicCitation	Osaka Mathematical Journal. 1961, 13(1), p. 125-137
DC.title	Gentzen decision procedures for Lewis's systems S2 and S3
DC.creator	Ohnishi, Masao
DC.publisher	Department of Mathematics, Osaka University
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	1961
DC.identifier	10.18910/4163
DC.format	4163
citation_title	Gentzen decision procedures for Lewis's systems S2 and S3
citation_author	Ohnishi, Masao
citation_publisher	Department of Mathematics, Osaka University
citation_language	英語
citation_date	1961
citation_journal_title	Osaka Mathematical Journal
citation_volume	13
citation_issue	1
citation_firstpage	125
citation_lastpage	137
citation_public_url	https://hdl.handle.net/11094/4163
citation_doi_detail	10.18910/4163
citation_doi	https://doi.org/10.18910/4163