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

21世紀の論理

種類:
図書
責任表示:
大窪徳行, 和田和行編著 ; 江川晃 [ほか著]
出版情報:
東京 : 八千代出版, 2007.3
著者名:
ISBN:
9784842914114 [4842914114]  CiNii Books  Calil
注記:
その他の著者: 大熊圭子, 小口裕史, 齋藤暢人, 福井謙一
参考文献: 節末
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 工学系の論理数学入門

田中, 和明(1969-)

カットシステム
7 図書 ソフトウェア科学のための論理学

萩谷, 昌己(1957-), 長尾, 真(1936-)

岩波書店
2 図書 数理論理学

松本, 和夫(1922-)

共立出版
8 図書 論理・集合・数学語

石川, 剛郎(1957-)

共立出版
3 図書 記号論理学

藤川, 吉美(1936-)

大竹出版
9 図書 数理論理学とタイプ理論 : 証明による真理へ

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

丸善
4 図書 情報科学のための論理数学

細井, 勉(1937-)

日本評論社
10 図書 記号論理学 : その展望と限界をさぐる

Jeffrey, Richard C., 戸田山, 和久(1958-)

マグロウヒル出版
5 図書 数理論理学

古川, 康一(1942-), 向井, 国昭

コロナ社
11 図書 一五・一六世紀の文学

徳田, 和夫(1948-), 天野, 文雄(1946-), 橋本, 朝生(1947-), 長坂, 成行(1949-), 小林, 直樹(1961-), …

岩波書店
6 図書 数理論理学入門

入江, 盛一(1911-)

培風館
12 図書 21世紀の新資本主義論

Bell, Daniel, 1919-, 山崎, 正和(1934-), Mataix, Anselmo, 1928-, 合田, 周平(1932-), 加藤, 晃(1929-), 吹田, …

新人物往来社