ようこそ ゲスト さん
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
指定図書(準備中)
ベストリーディング
利用者サービス
MYOPAC
北科大図書館
北科大HP
簡易検索:
蔵書検索
CiNii
JAIRO
CiNii Books
+詳細検索
戻る
印刷
メール送信
ファイル出力
Tweet
他の検索サイト
Webcat Plus
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
チシキトスイロン
知識と推論 / 森下真一著
(
情報数学講座
;
10
)
データ種別
図書
出版者
東京 : 共立出版
出版年
1994.1
本文言語
日本語
大きさ
vi,205p ; 22cm
所蔵情報を非表示
配架場所
巻 次
請求記号
登録番号
状 態
ISBN
資料種別
利用注記
請求メモ
予約
2F書庫1-和書
410.96/MO65
010072625
4320026608
図書
書誌詳細を非表示
一般注記
参考文献:p[199]-202. 索引: 巻末
著者標目
森下, 真一(1960-)
<モリシタ, シンイチ>
件 名
NDLSH:
記号論理学
分 類
NDC8:
007.1
NDC8:
410.96
NDC7:
410.12
NDLC:
MA41
書誌ID
1000072281
ISBN
4320026608
類似資料
1
応用論理 / 桔梗宏孝著
2
数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
3
数理論理学 / 林晋著
4
情報科学のための論理数学 / 細井勉著
5
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
6
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
7
数理論理学入門 / 角田譲著
8
数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
9
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
10
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
戻る
ページトップ
図書館サービス
‐
図書新着案内
‐
雑誌最新巻号案内
‐
AV資料新着案内
‐
雑誌タイトルリスト
‐
AV資料タイトルリスト
‐
指定図書(準備中)
‐
ベストリーディング
利用者サービス
‐
MYOPAC