>> Amazon.co.jp
このページのQRコード

数理論理学

種類:
図書
責任表示:
古川康一, 向井国昭著
出版情報:
東京 : コロナ社, 2008.6
著者名:
シリーズ名:
コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18 <BA7732878X>
ISBN:
9784339027181 [4339027189]  CiNii Books  Calil
注記:
引用・参考文献: p[203]-204
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 数理論理学

福山, 克(1942-)

培風館
7 図書 情報理論のための数理論理学

板井, 昌典

共立出版
2 図書 現代数理論理学序説

古森, 雄一(1947-), 小野, 寛晰(1942-)

日本評論社
8 図書 数理論理学 = Mathematical logic

戸次, 大介(1973-)

東京大学出版会
3 図書 数理論理学入門

入江, 盛一(1911-)

培風館
9 図書 数理論理学 : 語の問題

竹内, 外史(1926-)

培風館
4 図書 数理論理学

鹿島, 亮

朝倉書店
10 図書 数理論理学入門

角田, 譲(1946-)

朝倉書店
5 図書 数理論理学

林, 晋(1953-)

コロナ社
11 図書 数理論理学とタイプ理論 : 証明による真理へ

Andrews, P. B. (Peter Bruce), 1937-, 小川原, 倫子

丸善
6 図書 数理論理学

松本, 和夫(1922-)

共立出版
12 図書 初歩からの数理論理

Stoli︠a︡r, A. A. (Abram Aronovich), 保坂, 秀正, 山崎, 昇(1930-)

大竹出版