• http://ja.wcontology.org/resource/Category:再帰 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学
• http://ja.wcontology.org/resource/Category:再帰理論 ( describe )
  • http://wcontology.org/core#instanceOf ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学
• http://ja.wcontology.org/resource/Category:古典論理 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学
• http://ja.wcontology.org/resource/Category:型理論 ( describe )
  • http://wcontology.org/core#instanceOf ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学
• http://ja.wcontology.org/resource/Category:強制法 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学
• http://ja.wcontology.org/resource/Category:時相論理 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学
• http://ja.wcontology.org/resource/Category:計算可能性理論 ( describe )
  • http://wcontology.org/core#instanceOf ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学
• http://ja.wcontology.org/resource/Category:数理論理学 ( describe )
  • http://www.w3.org/2002/07/owl#sameAs ( describe )
    • http://en.wcontology.org/resource/Category:Mathematical_logic
    • http://ja.dbpedia.org/resource/Category:数理論理学
  • http://www.w3.org/1992/02/22-rdf-syntax-ns#type ( describe )
    • http://wcontology.org/core#setCategory
  • http://wcontology.org/core#instanceOf ( describe )
    • http://ja.wcontology.org/resource/Category:数学の哲学
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:数学基礎論
  • http://www.w3.org/ns/prov#wasDerivedFrom ( describe )
    • http://ja.wikipedia.org/wiki/Category:数理論理学?oldid=60677991
  • http://wcontology.org/core#subClassOf ( describe )
    • http://ja.wcontology.org/resource/Category:数学
    • http://ja.wcontology.org/resource/Category:論理学
• http://ja.wcontology.org/resource/Category:数理論理学者 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学
• http://ja.wcontology.org/resource/Category:非古典論理 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学
• http://ja.wcontology.org/resource/Category:モデル理論 ( describe )
  • http://wcontology.org/core#instanceOf ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学
• http://ja.wcontology.org/resource/Category:証明論 ( describe )
  • http://wcontology.org/core#instanceOf ( describe )
    • http://ja.wcontology.org/resource/Category:数理論理学