ようこそ ゲスト さん
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
指定図書(準備中)
ベストリーディング
利用者サービス
MYOPAC
北科大図書館
北科大HP
簡易検索:
蔵書検索
CiNii
JAIRO
CiNii Books
+詳細検索
印刷
メール送信
ファイル出力
Tweet
他の検索サイト
Webcat Plus
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
スウリ ロンリガク
数理論理学 / 古川康一, 向井国昭著
(
コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員
;
18
)
データ種別
図書
出版者
東京 : コロナ社
出版年
2008.6
本文言語
日本語
大きさ
ix, 221p : 挿図 ; 21cm
所蔵情報を非表示
配架場所
巻 次
請求記号
登録番号
状 態
ISBN
資料種別
利用注記
請求メモ
予約
2F書庫1-和書
410.96/F 93
010540022
9784339027181
図書
書誌詳細を非表示
別書名
奥付タイトル:Mathematical Logic
一般注記
引用・参考文献: p[203]-204
著者標目
古川, 康一(1942-)
<フルカワ, コウイチ>
向井, 国昭
<ムカイ, クニアキ>
件 名
BSH:
記号論理学
NDLSH:
記号論理学
分 類
NDC8:
410.96
NDC6:
410.1
書誌ID
1000107161
ISBN
9784339027181
類似資料
1
含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也共著 : 数理哲人共著
2
数理論理学 / 鹿島亮著
3
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
4
数理論理学 / 松本和夫著
5
数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
6
1と0との物語 / 日野寛三著
7
記号論理・入門 / 上江洲忠弘著
8
計算論理入門 : 情報の数理 / 田中尚夫著
9
ゲーデルは何を証明したか : 数学から超数学へ / E.ナーゲル, J.R.ニューマン著 ; 林一訳
10
新しい論理序説 / 本橋信義著
ページトップ
図書館サービス
‐
図書新着案内
‐
雑誌最新巻号案内
‐
AV資料新着案内
‐
雑誌タイトルリスト
‐
AV資料タイトルリスト
‐
指定図書(準備中)
‐
ベストリーディング
利用者サービス
‐
MYOPAC