ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
背理法 / 桂利行 [ほか] 著
ハイリホウ
(
数学書房選書 / 桂利行 [ほか] 編
;
2
)
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
越中島図書館 / 一般図書
410.9/Ka88
2014512876
201451287
9784903342221
予約
仮想書架
予約
仮想書架
書誌詳細を非表示
出版情報
東京 : 数学書房 , 2012.5
大きさ
ix, 128p : 挿図 ; 21cm
一般注記
そのほかの著者: 栗原将人, 堤誉志雄, 深谷賢治
索引: p[127]-128
参考文献あり
著者標目
桂, 利行(1948-)
<カツラ, トシユキ>
件 名
BSH:
数学
BSH:
証明(数学)
NDLSH:
記号論理学
分 類
NDC9:
410.96
本文言語
日本語
書誌ID
TB10068605
ISBN
9784903342221
NCID
BB09200440
巻冊次
ISBN:9784903342221 ; PRICE:1900円+税
目次/あらすじ
類似資料
1
数理論理学の基礎・基本 / 坪井明人著
2
数理論理学 / 鹿島亮著
3
証明のすすめ : 数学の証明 / リュディガー・ティーレ原著 ; 金井省二訳
4
記号論理入門 / 前原昭二著
: 新装版
5
数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
6
情報理論のための数理論理学 / 板井昌典著
7
記号論理入門 / 前原昭二著
8
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
9
概念記法 / G.フレーゲ著 ; 藤村龍雄編
10
哲学論集 / G.フレーゲ著 ; 黒田亘, 野本和幸編