Von Wright-Anderson's decision procedures for Lewis's systems S2 and S3

Ohnishi, Masao

Osaka Mathematical Journal, 1961, 13(1), 139-142

アクセス数:137件（2025-04-22 22:43 集計）

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

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

タイトル	Von Wright-Anderson's decision procedures for Lewis's systems S2 and S3
著者	NRID 1000070030533 1000070030533 著者名 Ohnishi, Masao
出版者	Department of Mathematics, Osaka University
収録物名	Osaka Mathematical Journal
巻(号)	13(1)
ページ	139-142
刊行年月	1961
言語	英語
ハンドルURL	https://hdl.handle.net/11094/9565
DOI	https://doi.org/10.18910/9565
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. 139-142
DC.title	Von Wright-Anderson's 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/9565
DC.format	9565
citation_title	Von Wright-Anderson's 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	139
citation_lastpage	142
citation_public_url	https://hdl.handle.net/11094/9565
citation_doi_detail	10.18910/9565
citation_doi	https://doi.org/10.18910/9565