ようこそ ゲスト さん
MyOPAC ログイン
ヘルプ
入力補助
English
図書館資料検索 TOP
図書館サービス
図書新着案内
雑誌タイトルリスト
視聴覚資料タイトルリスト
視聴覚資料新着案内
雑誌最新巻号案内
貸出ランキング
アクセスランキング
MyOPAC
その他
東京家政大学図書館
東京家政大学
検索結果一覧に戻る
Tweet
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
数理論理学入門 / 入江盛一著
スウリ ロンリガク ニュウモン
データ種別
図書
出版者
東京 : 培風館
出版年
1973.1
所蔵情報を非表示
配置場所
巻次等
請求記号
資料番号
状 態
コメント
ISBN
請求メモ
予約
板橋B2 書庫和書書架
410.1/I64
0122627
4563001384
請求メモ
予約
請求メモ
予約
書誌詳細を非表示
本文言語
日本語
大きさ
v,166p ; 22cm
著者標目
入江, 盛一(1911-)
<イリエ, セイイチ>
件 名
NDLSH:
数学基礎論
NDLSH:
記号論理学
分 類
NDC8:
410.1
NDC6:
410.1
NDLC:
MA41
ISBN
4563001384
目次/あらすじ
類似資料
1
数理論理学 : 数学的理論の論理的構造 / 前原昭二著
2
数理論理学 : 語の問題 / 竹内外史著
3
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
4
無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
5
確かさを求めて : 数学の基礎についての哲学論考 / M. ジャキント著 ; 田中一之監訳
6
パラドックスへの挑戦 : ゲーデルとボーア / 大出晁著
7
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
8
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
9
ろんりの相談室 : 大学1年生の真理値表と体系 / 鈴木登志雄著
10
情報科学における論理 / 小野寛晰著
この資料の利用統計
このページへのアクセス回数:7回
※2018年9月5日以降
全貸出数:1回
(1年以内の貸出:0回)