<rdf:RDF
  xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:owl="http://www.w3.org/2002/07/owl#"
  xmlns:skos="http://www.w3.org/2004/02/skos/core#"
  xmlns:xl="http://www.w3.org/2008/05/skos-xl#"
  xmlns:rdag1="http://RDVocab.info/ElementsGr1/"
  xmlns:rda="http://RDVocab.info/ElementsGr2/"
  xmlns:rdaa="http://rdaregistry.info/Elements/a/"
  xmlns:frbrent="http://RDVocab.info/uri/schema/FRBRentitiesRDA/"
  xmlns:foaf="http://xmlns.com/foaf/0.1/"
  xmlns:ndl="http://ndl.go.jp/dcndl/terms/"
  xmlns:dct="http://purl.org/dc/terms/"
>
<skos:Concept rdf:about="http://id.ndl.go.jp/auth/ndlsh/00565709">
	<dct:modified>2017-04-26T15:06:53</dct:modified>
	<dct:created>1980-06-20</dct:created>
	<xl:prefLabel>
		<rdf:Description>
			<xl:literalForm>記号論理学</xl:literalForm>
			<ndl:transcription xml:lang="ja-Kana">キゴウロンリガク</ndl:transcription>
			<ndl:transcription xml:lang="ja-Latn">Kigoronrigaku</ndl:transcription>
		</rdf:Description>
	</xl:prefLabel>
	<rdfs:label>記号論理学</rdfs:label>
	<xl:altLabel>
		<rdf:Description>
			<xl:literalForm>論理代数学</xl:literalForm>
			<ndl:transcription xml:lang="ja-Kana">ロンリダイスウガク</ndl:transcription>
			<ndl:transcription xml:lang="ja-Latn">Ronridaisugaku</ndl:transcription>
		</rdf:Description>
	</xl:altLabel>
	<xl:altLabel>
		<rdf:Description>
			<xl:literalForm>論理計算</xl:literalForm>
			<ndl:transcription xml:lang="ja-Kana">ロンリケイサン</ndl:transcription>
			<ndl:transcription xml:lang="ja-Latn">Ronrikeisan</ndl:transcription>
		</rdf:Description>
	</xl:altLabel>
	<xl:altLabel>
		<rdf:Description>
			<xl:literalForm>数学的論理学</xl:literalForm>
			<ndl:transcription xml:lang="ja-Kana">スウガクテキロンリガク</ndl:transcription>
			<ndl:transcription xml:lang="ja-Latn">Sugakutekironrigaku</ndl:transcription>
		</rdf:Description>
	</xl:altLabel>
	<xl:altLabel>
		<rdf:Description>
			<xl:literalForm>現代論理学</xl:literalForm>
			<ndl:transcription xml:lang="ja-Kana">ゲンダイロンリガク</ndl:transcription>
			<ndl:transcription xml:lang="ja-Latn">Gendaironrigaku</ndl:transcription>
		</rdf:Description>
	</xl:altLabel>
	<xl:altLabel>
		<rdf:Description>
			<xl:literalForm>数理論理学</xl:literalForm>
			<ndl:transcription xml:lang="ja-Kana">スウリロンリガク</ndl:transcription>
			<ndl:transcription xml:lang="ja-Latn">Surironrigaku</ndl:transcription>
		</rdf:Description>
	</xl:altLabel>
	<xl:altLabel>
		<rdf:Description>
			<xl:literalForm>Logic, Symbolic and mathematical</xl:literalForm>
		</rdf:Description>
	</xl:altLabel>
	<dct:source>数学における発見はいかになされるか. 第1 / ポリア 著 ; 柴垣和三雄 訳</dct:source>
	<dct:source>広辞苑 第5版</dct:source>
	<skos:exactMatch rdf:resource="http://id.ndl.go.jp/auth/bsh4/00195500"/>
	<skos:inScheme rdf:resource="http://id.ndl.go.jp/auth#topicalTerms"/>
	<owl:sameAs rdf:resource="http://id.ndl.go.jp/auth/ndlsh/記号論理学"/>
	<skos:relatedMatch rdf:resource="http://id.ndl.go.jp/class/ndlc/H35"/>
	<skos:relatedMatch rdf:resource="http://id.ndl.go.jp/class/ndlc/MA41"/>
	<skos:relatedMatch rdf:resource="http://id.ndl.go.jp/class/ndc10/116.3"/>
	<skos:relatedMatch rdf:resource="http://id.ndl.go.jp/class/ndc10/410.96"/>
	<skos:relatedMatch rdf:resource="http://id.ndl.go.jp/class/ndc9/116.3"/>
	<skos:relatedMatch rdf:resource="http://id.ndl.go.jp/class/ndc9/410.96"/>
	<skos:broader rdf:resource="http://id.ndl.go.jp/auth/ndlsh/00569686" rdfs:label="論理学"/>
	<skos:closeMatch rdf:resource="http://id.loc.gov/authorities/subjects/sh85078115"/>
	<skos:related rdf:resource="http://id.ndl.go.jp/auth/ndlsh/00571525" rdfs:label="数学基礎論"/>
	<skos:related rdf:resource="http://id.ndl.go.jp/auth/ndlsh/00569687" rdfs:label="論理実証主義"/>
	<skos:related rdf:resource="http://id.ndl.go.jp/auth/ndlsh/00560863" rdfs:label="ブール代数"/>
</skos:Concept>
</rdf:RDF>