検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

タブローの方法による論理学入門　

著者名 丹治 信春／著
著者名ヨミ タンジ ノブハル
出版者 朝倉書店
出版年月 1999.11

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 中央図書館一般書庫41096/6/0105520946一般在庫 可 ○

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000000269296
書誌種別 図書
書名 タブローの方法による論理学入門　
書名ヨミ タブロー ノ ホウホウ ニ ヨル ロンリガク ニュウモン
言語区分 日本語
著者名 丹治 信春／著
著者名ヨミ タンジ ノブハル
出版地 東京
出版者 朝倉書店
出版年月 1999.11
本体価格 ￥２５００
ISBN 4-254-50012-2
数量 137p
大きさ 21cm
分類記号 410.96
件名 記号論理学
注記 「論理学入門」(ちくま学芸文庫 2014年刊)に改題,大幅に改訂
内容紹介 記号論理学の基礎的な諸概念、基本的な考え方を習得しつつ、「タブロー」という方法による「証明」の技法を身につける。命題論理の記号言語、真理値分析とトートロジー、述語論理の記号言語などについて解説。
著者紹介 1949年大阪府生まれ。東京大学大学院理学系研究科科学史・科学基礎論専門課程博士課程単位取得退学。東京都立大学人文学部教授。著書に「言語と認識のダイナミズム」がある。



内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

1999
【アゼルバイジャン語文法入門】 アゼルバイジャン語文法入門
松長 昭／著 【可視総合光線療法別冊】 可視総合光線療法別冊
 【ごぶごぶごぼごぼ】 ごぶごぶごぼごぼ
駒形 克己／さく 【ハリー・ポッターと賢者の石】 ハリー・ポッターと賢者の石
J.K.ローリン… 【バムとケロのおかいもの】 バムとケロのおかいもの
島田 ゆか／作 … 【シロナガスクジラより大きいものって…】 シロナガスクジラより大きいものって…
ロバート・E・ウ… 【アゼルバイジャン語会話練習帳】 アゼルバイジャン語会話練習帳
松谷 浩尚／編 【国内神名帳の研究資料編】 国内神名帳の研究資料編
三橋 健／著 【牧野富太郎植物画集】 牧野富太郎植物画集
牧野富太郎・〔画… 【国内神名帳の研究論考編】 国内神名帳の研究論考編
三橋 健／著 【西洋美術館】 西洋美術館
 【ぞうくんのさんぽ】 ぞうくんのさんぽ
なかの ひろたか… 【カム機構図例集】 カム機構図例集
日本カム工業会技… 【いたいのいたいのとんでけ】 いたいのいたいのとんでけ
平出 衛／さく 【基本件名標目表】 基本件名標目表
日本図書館協会件… 【ナガナガくん】 ナガナガくん
シド・ホフ／作・… 【かいけつゾロリのきょうふの宝さがし】 かいけつゾロリのきょうふの宝さがし
原 ゆたか／さく… 【検証むち打ち損傷　：　医・工・法学…】 検証むち打ち損傷　：　医・工・法学…
羽成 守／著,藤… 【わんぱくだんのおばけやしき】 わんぱくだんのおばけやしき
ゆきの ゆみこ／… 【笑傲江湖第1集】 笑傲江湖第1集
金 庸／著 【著名人が語る<学びのヒント>1】 著名人が語る<学びのヒント>1
 【ポップ・ヒットメイカーデータ・ブッ…】 ポップ・ヒットメイカーデータ・ブッ…
Vanda／監修 【60年代音楽　：　1960s be…】 60年代音楽　：　1960s be…
 【毒舌おもしろ人生訓　：　つい一人で…】 毒舌おもしろ人生訓　：　つい一人で…
野末 陳平／著 【いろいろどうぶつえん】 いろいろどうぶつえん
パトリック・ラロ… 【博物館学講座10】 博物館学講座10
加藤 有次／[ほ… 【かいけつゾロリちきゅうさいごの日】 かいけつゾロリちきゅうさいごの日
原 ゆたか／さく… 【まじょのかんづめ】 まじょのかんづめ
佐々木 マキ／さ… 【ウラパン・オコサ　：　かずあそび】 ウラパン・オコサ　：　かずあそび
谷川 晃一／作 【まるくておいしいよ】 まるくておいしいよ
こにし えいこ／… 【すってんころりん】 すってんころりん
なかの ひろたか… 【てぶくろ　：　The mitten…】 てぶくろ　：　The mitten…
エフゲーニー・M… 【アメリカ史】 アメリカ史
紀平 英作／編 【房総の古寺巡礼三十三ヵ所&蔵元探訪】 房総の古寺巡礼三十三ヵ所&蔵元探訪
浜名 徳順／著,… 【研究計画書の考え方　：　大学院を目…】 研究計画書の考え方　：　大学院を目…
妹尾 堅一郎／著 【嗜癖する人間関係　：　親密になるの…】 嗜癖する人間関係　：　親密になるの…
アン・ウィルソン… 【ベートーヴェン全集第9巻】 ベートーヴェン全集第9巻
 【実践の倫理】 実践の倫理
ピーター・シンガ… 【ショウガは効く　：　究極の家庭薬】 ショウガは効く　：　究極の家庭薬
スティーヴン・フ… 【著名人が語る<学びのヒント>9】 著名人が語る<学びのヒント>9
410.96
【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【モデル理論】 モデル理論
板井 昌典／著 【コンピュータサイエンスにおける様相…】 コンピュータサイエンスにおける様相…
鹿島 亮／著 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【記号論理学講義　：　基礎理論 束論…】 記号論理学講義　：　基礎理論 束論…
清水 義夫／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【フレーゲ哲学の全貌　：　論理主義と…】 フレーゲ哲学の全貌　：　論理主義と…
野本 和幸／著 【現代数理論理学序説】 現代数理論理学序説
古森 雄一／著,… 【数理論理学】 数理論理学
鹿島 亮／著 【論理リテラシー】 論理リテラシー
鈴木 登志雄／著 【情報科学のための論理分析テクニック】 情報科学のための論理分析テクニック
戸田 誠之助／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／[ほか… 【フレーゲ入門　：　生涯と哲学の形成】 フレーゲ入門　：　生涯と哲学の形成
野本 和幸／著 【フレーゲ著作集6】 フレーゲ著作集6
G.フレーゲ／著 【フレーゲの論理哲学】 フレーゲの論理哲学
田畑 博敏／著 【フレーゲ著作集2】 フレーゲ著作集2
G.フレーゲ／著 【フレーゲ著作集5】 フレーゲ著作集5
G.フレーゲ／著 【フレーゲの哲学】 フレーゲの哲学
アンソニー・ケニ… 【フレーゲ著作集3】 フレーゲ著作集3
G.フレーゲ／著 【フレーゲ著作集1】 フレーゲ著作集1
G.フレーゲ／著 【フレーゲ著作集4】 フレーゲ著作集4
G.フレーゲ／著 【ゲーデルは何を証明したか　：　数学…】 ゲーデルは何を証明したか　：　数学…
E.ナーゲル／著… 【記号論理・入門】 記号論理・入門
上江洲 忠弘／著 【記号論理学入門】 記号論理学入門
小松 寿／著 【数理論理学入門】 数理論理学入門
角田 譲／著 【線型論理入門】 線型論理入門
竹内 外史／著 【情報科学における論理】 情報科学における論理
小野 寛晰／著 【知識と推論】 知識と推論
森下 真一／著 【数学の基礎】 数学の基礎
D.ヒルベルト／… 【計算論理学入門　：　AIとコンピュ…】 計算論理学入門　：　AIとコンピュ…
赤間 世紀／著 【情報科学のための論理数学】 情報科学のための論理数学
細井 勉／著 【数理論理学原論　：　近代ポーランド…】 数理論理学原論　：　近代ポーランド…
ヤン・ウカシェー… 【情報の論理数学入門　：　ブール代数…】 情報の論理数学入門　：　ブール代数…
小倉 久和／共著… 【数理論理学】 数理論理学
林 晋／著 【数理論理学とタイプ理論　：　証明に…】 数理論理学とタイプ理論　：　証明に…
Peter B.… 【ルイス・キャロルの知的ゲーム】 ルイス・キャロルの知的ゲーム
[ルイス・キャロ…
記号論理学
【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【計算理論と数理論理学】 計算理論と数理論理学
田中 一之／著 【コンピュータサイエンスにおける様相…】 コンピュータサイエンスにおける様相…
鹿島 亮／著 【文系のための記号論理入門　：　命題…】 文系のための記号論理入門　：　命題…
金子 裕介／著 【論理と集合　：　数学を理解するため…】 論理と集合　：　数学を理解するため…
辻 一夫／著 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【論理と分析　：　文系のための記号論…】 論理と分析　：　文系のための記号論…
金子 裕介／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【記号論理学講義　：　基礎理論 束論…】 記号論理学講義　：　基礎理論 束論…
清水 義夫／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【フレーゲ哲学の全貌　：　論理主義と…】 フレーゲ哲学の全貌　：　論理主義と…
野本 和幸／著 【現代数理論理学序説】 現代数理論理学序説
古森 雄一／著,… 【数理神学を学ぶ人のために】 数理神学を学ぶ人のために
落合 仁司／著 【数理論理学】 数理論理学
鹿島 亮／著 【論理リテラシー】 論理リテラシー
鈴木 登志雄／著 【論理的構文論:哲学する方法】 論理的構文論:哲学する方法
ルドルフ・カルナ… 【情報科学のための論理分析テクニック】 情報科学のための論理分析テクニック
戸田 誠之助／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／[ほか… 【フレーゲ入門　：　生涯と哲学の形成】 フレーゲ入門　：　生涯と哲学の形成
野本 和幸／著 【フレーゲ著作集6】 フレーゲ著作集6
G.フレーゲ／著 【心の影　：　意識をめぐる未知の科…2】 心の影　：　意識をめぐる未知の科…2
ロジャー・ペンロ… 【フレーゲの論理哲学】 フレーゲの論理哲学
田畑 博敏／著 【心の影　：　意識をめぐる未知の科…1】 心の影　：　意識をめぐる未知の科…1
ロジャー・ペンロ… 【フレーゲ著作集2】 フレーゲ著作集2
G.フレーゲ／著 【フレーゲ著作集5】 フレーゲ著作集5
G.フレーゲ／著 【フレーゲの哲学】 フレーゲの哲学
アンソニー・ケニ… 【フレーゲ著作集3】 フレーゲ著作集3
G.フレーゲ／著 【知的エージェントのための集合と論理】 知的エージェントのための集合と論理
中島 秀之／著 【フレーゲ著作集1】 フレーゲ著作集1
G.フレーゲ／著 【アルス・コンビナトリア　：　象徴主…】 アルス・コンビナトリア　：　象徴主…
ジョン・ノイバウ… 【フレーゲ著作集4】 フレーゲ著作集4
G.フレーゲ／著 【ゲーデルは何を証明したか　：　数学…】 ゲーデルは何を証明したか　：　数学…
E.ナーゲル／著… 【記号論理・入門】 記号論理・入門
上江洲 忠弘／著 【記号論理学入門】 記号論理学入門
小松 寿／著 【数理論理学入門】 数理論理学入門
角田 譲／著 【命題と集合研究序説】 命題と集合研究序説
尾崎 弘／著,尾… 【アルゴリズムの論理学　：　ロゴスの…】 アルゴリズムの論理学　：　ロゴスの…
田代 博司／著
前のページへ
トップページへ

本文はここまでです。

ページの終わりです。