Testable and untestable classes of first-order logic

• Material Type: 博士論文
• Title: Testable and untestable classes of first-order logic
• Author/Editor: Charles Jordan [著]
• Author Heading: Charles Harold Jordan チャールズ ハロルド ジョーダン
• Publication, Distribution, etc.: [Charles Jordan]
• Publication Date: [2012]
• Publication Date (W3CDTF): 2012
• Extent: 1冊
• Alternative Title: 一階述語論理の検査可能・不可能なサブクラスについて イッカイ ジュツゴ ロンリ ノ ケンサ カノウ フカノウナ サブクラス ニ ツイテ
• Degree grantor/type: 北海道大学
• Date Granted: 平成24年3月22日
• Date Granted (W3CDTF): 2012
• Dissertation Number: 甲第10420号
• Degree Type: 博士 (情報科学)
• Note (Dissertation): 博士論文
• Place of Publication (Country Code): JP
• Text Language Code: eng
• NDLC: UT51
• Target Audience: 一般
• Note (General): 博士論文
• Holding library: 国立国会図書館
• Call No.: UT51-2012-C170
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 023768802; http://id.ndl.go.jp/bib/023768802
• Bibliographic Record Category (NDL): 213