@prefix rdf: . @prefix rdfs: . @prefix owl: . @prefix skos: . @prefix xl: . @prefix rdag1: . @prefix rda: . @prefix rdaa: . @prefix frbrent: . @prefix foaf: . @prefix ndl: . @prefix dct: . rdf:type ; dct:modified "2017-04-26T15:06:53"; dct:created "1980-06-20"; xl:prefLabel [xl:literalForm "記号論理学";ndl:transcription "キゴウロンリガク"@ja-Kana,"Kigoronrigaku"@ja-Latn]; rdfs:label "記号論理学"; xl:altLabel [xl:literalForm "論理代数学";ndl:transcription "ロンリダイスウガク"@ja-Kana,"Ronridaisugaku"@ja-Latn],[xl:literalForm "論理計算";ndl:transcription "ロンリケイサン"@ja-Kana,"Ronrikeisan"@ja-Latn],[xl:literalForm "数学的論理学";ndl:transcription "スウガクテキロンリガク"@ja-Kana,"Sugakutekironrigaku"@ja-Latn],[xl:literalForm "現代論理学";ndl:transcription "ゲンダイロンリガク"@ja-Kana,"Gendaironrigaku"@ja-Latn],[xl:literalForm "数理論理学";ndl:transcription "スウリロンリガク"@ja-Kana,"Surironrigaku"@ja-Latn],[xl:literalForm "Logic, Symbolic and mathematical"]; dct:source "数学における発見はいかになされるか. 第1 / ポリア 著 ; 柴垣和三雄 訳","広辞苑 第5版"; skos:exactMatch ; skos:inScheme ; owl:sameAs ; skos:relatedMatch ,,,,,; skos:broader ; skos:closeMatch ; skos:related ,,. rdfs:label "論理学". rdfs:label "数学基礎論". rdfs:label "論理実証主義". rdfs:label "ブール代数".