形式論理と計算可能性 Formal logic and computability

Author(s)

• 東京大学工学教程編纂委員会 トウキョウ ダイガク コウガク キョウテイ ヘンサン イインカイ
• 蓮尾, 一郎 ハスオ, イチロウ
• 浅田, 和之 アサダ, カズユキ

Bibliographic Information

形式論理と計算可能性 = Formal logic and computability

東京大学工学教程編纂委員会編 ; 蓮尾一郎, 浅田和之著

（東京大学工学教程 / 東京大学工学教程編纂委員会編, . 情報工学||ジョウホウ コウガク）

丸善出版, 2024.9

Title Transcription

ケイシキ ロンリ ト ケイサン カノウセイ

Note

参考文献: p183-184

索引: p187-192

Details

• NCID: BD08589006
• ISBN:
  • 9784621310144
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xi, 192p
• Size: 21cm
• Classification:
  • NDC9 : 410.9
  • NDC10 : 410.9
  • NDLC : M121
  • NDC10 : 007.1
• Subject Headings:
  • BSH : 数学基礎論
  • NDLSH : 計算量理論
• Parent Bibliography ID:
  • BB13764982