>> Google Books
タイトル、所在を表示します

数理論理学

フォーマット:
図書
責任表示:
古川康一, 向井国昭著
言語:
日本語
出版情報:
東京 : コロナ社, 2008.6
形態:
ix, 221p ; 21cm
著者名:
シリーズ名:
コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18 <BA7732878X>
書誌ID:
BA85928374
ISBN:
9784339027181 [4339027189]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

福山, 克(1942-)

培風館
7 図書 数理論理学の基礎・基本

坪井, 明人(1955-)

牧野書店, 星雲社 (発売)
2 図書 数理論理学序説

前原, 昭二(1927-1992)

共立出版
8 図書 数理論理学 : 数学的理論の論理的構造

前原, 昭二(1927-1992)

培風館
3 図書 数理論理学序説

前原, 昭二(1927-1992)

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

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

丸善
4 図書 数理論理学入門

入江, 盛一(1911-)

培風館
10 図書 スマリヤン数理論理学 : 述語論理と完全性定理

Smullyan, Raymond M., 1919-, 村上, 祐子(1968-), 高橋, 昌一郎(1959-)

丸善出版
5 図書 数理論理学

林, 晋(1953-)

コロナ社
11 図書 数理論理学 = Mathematical logic

戸次, 大介(1973-)

東京大学出版会
6 図書 数理論理学

鹿島, 亮

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

角田, 譲(1946-)

朝倉書店