モデルの理論 etc. - Japan Search model RDF

Resources described in this source:

(Other 3 resources are in nested tables, or just refer to the source resource and have no own description)

モデルの理論

description of <http://id.ndl.go.jp/auth/ndlsh/00567757>
rdfs:label"モデルの理論"
skos:relatedMatch<http://jla.or.jp/data/ndc9#410.96> (☞ 記号論理学［論理計算］)
（2 triples） ()

数学--集合論．数学基礎論--記号論理学［論理計算］

description of <http://jla.or.jp/data/ndc#410.96>
rdfs:label"数学--集合論．数学基礎論--記号論理学［論理計算］"
dct:hasVersion<http://jla.or.jp/data/ndc9#410.96> (☞ 記号論理学［論理計算］)
（2 triples） ()

論理学．弁証法［弁証法的論理学］．方法論--記号論理学．論理実証...

description of <http://jla.or.jp/data/ndc9#116.3>
rdfs:label"論理学．弁証法［弁証法的論理学］．方法論--記号論理学．論理実証主義．分析哲学"
skos:related<http://jla.or.jp/data/ndc9#410.96> (☞ 記号論理学［論理計算］)
（2 triples） ()

数学--集合論．数学基礎論

description of <http://jla.or.jp/data/ndc9#410.9>
rdfs:label"数学--集合論．数学基礎論"
skos:narrower<http://jla.or.jp/data/ndc9#410.96> (☞ 記号論理学［論理計算］)
（2 triples） ()

記号論理学［論理計算］

description of <http://jla.or.jp/data/ndc9#410.96>
rdf:typeskos:Concept
rdfs:label"数学--集合論．数学基礎論--記号論理学［論理計算］"
skos:prefLabel"記号論理学［論理計算］" @ja
dct:isVersionOf<http://jla.or.jp/data/ndc#410.96> (☞ 数学--集合論．数学基...)
ns0:indexedTerm 7_:vb67416190 (an orphan bnode)
ns0:indexedTerm_:vb67416188 (an orphan bnode)
ns0:indexedTerm_:vb67416189 (an orphan bnode)
ns0:indexedTerm_:vb67416186 (an orphan bnode)
ns0:indexedTerm_:vb67416187 (an orphan bnode)
ns0:indexedTerm_:vb67416184 (an orphan bnode)
ns0:indexedTerm_:vb67416185 (an orphan bnode)
skos:broader<http://jla.or.jp/data/ndc9#410.9> (☞ 数学--集合論．数学基...)
skos:inScheme<http://jla.or.jp/data/ndc9#> (➜ "日本十進分類法（第9版）")
skos:notation"410.96"
skos:related<http://jla.or.jp/data/ndc9#116.3> (☞ 論理学．弁証法［弁証法...)
skos:relatedMatch 2
<http://id.ndl.go.jp/auth/ndlsh/00565709>
rdfs:label"記号論理学"
skos:relatedMatch<http://jla.or.jp/data/ndc9#410.96> (☞ 記号論理学［論理計算］)
skos:relatedMatch<http://id.ndl.go.jp/auth/ndlsh/00567757> (☞ モデルの理論)
（21 triples） ()
（29 triples）
Back to Japan Search model RDF home