ようこそ ゲスト さん
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
指定図書(準備中)
ベストリーディング
利用者サービス
MYOPAC
北科大図書館
北科大HP
簡易検索:
蔵書検索
CiNii
JAIRO
CiNii Books
+詳細検索
戻る
印刷
メール送信
ファイル出力
Tweet
他の検索サイト
Webcat Plus
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
スウリ ロンリガク
数理論理学 / 鹿島亮著
(
現代基礎数学 / 新井仁之 [ほか] 編
;
15
)
データ種別
図書
出版者
東京 : 朝倉書店
出版年
2009.10
本文言語
日本語
大きさ
v, 210p : 挿図 ; 21cm
所蔵情報を非表示
配架場所
巻 次
請求記号
登録番号
状 態
ISBN
資料種別
利用注記
請求メモ
予約
2F書庫1-和書
410.96/Ka76
3000013316
9784254117653
図書
書誌詳細を非表示
一般注記
参考文献: p[205]-206
著者標目
鹿島, 亮
<カシマ, リョウ>
件 名
BSH:
記号論理学
分 類
NDC8:
410.96
NDC9:
410.96
書誌ID
4000014362
ISBN
9784254117653
類似資料
1
含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也共著 : 数理哲人共著
2
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
3
数理論理学 / 松本和夫著
4
数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
5
1と0との物語 / 日野寛三著
6
記号論理・入門 / 上江洲忠弘著
7
計算論理入門 : 情報の数理 / 田中尚夫著
8
ゲーデルは何を証明したか : 数学から超数学へ / E.ナーゲル, J.R.ニューマン著 ; 林一訳
9
数学と新しい論理 : 数学的帰納法をめぐって / 本橋信義著
10
ろんりと集合 / 中内伸光著
戻る
ページトップ
図書館サービス
‐
図書新着案内
‐
雑誌最新巻号案内
‐
AV資料新着案内
‐
雑誌タイトルリスト
‐
AV資料タイトルリスト
‐
指定図書(準備中)
‐
ベストリーディング
利用者サービス
‐
MYOPAC