ログイン
目録検索 ▼
検索トップへ
分類検索
雑誌タイトルリスト
指定図書
新着案内
貸出ランキング
レビュー一覧
タグ検索
My Library ▼
利用状況一覧
ブックマーク
お気に入り検索
新着アラート
ILL複写依頼
ILL貸借依頼
新規購入依頼
≡
書誌詳細
専修大学図書館
検索結果一覧へ戻る
定理証明手習い
Daniel P. Friedman, Carl Eastlund著. -- ラムダノート, 2017. <BB01161165>
登録タグ:
登録されているタグはありません
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
レビューを見る
詳細情報を見る
書誌URL:
定理証明手習い
Daniel P. Friedman, Carl Eastlund著. -- ラムダノート, 2017. <BB01161165>
登録タグ:
登録されているタグはありません
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
レビューを見る
詳細情報を見る
書誌URL:
所蔵一覧
1件~1件(全1件)
10件
20件
50件
100件
No.
所蔵館
配置場所
文庫名
請求記号
巻号
年月次
資料ID
状態
返却予定日
予約
0001
本館
3F第1開架閲覧室
K/007.6/F47
110818176
配架済
0件
No.
0001
所蔵館
本館
配置場所
3F第1開架閲覧室
文庫名
請求記号
K/007.6/F47
巻号
年月次
資料ID
110818176
状態
配架済
返却予定日
予約
0件
このページのTOPへ
レビュー
このページのTOPへ
書誌詳細
タイトル・著者名
定理証明手習い / Daniel P. Friedman, Carl Eastlund著
テイリ ショウメイ テナライ
出版
東京 : ラムダノート , 2017.10
形態事項
xiv, 220p : 挿図 ; 21cm
巻号情報
ISBN
9784908686023
その他のタイトル
原タイトル:The little prover
注記
中野圭介監訳
注記
索引あり
注記
原著(MIT Press, c2015)の翻訳
注記
訳者(監訳者序文による): 鹿野桂一郎
NCID
BB24952022
本文言語コード
日本語
著者標目リンク
*Friedman, Daniel P. <AU00271727>
著者標目リンク
*Eastlund, Carl <AU00271728>
著者標目リンク
中野, 圭介
ナカノ, ケイスケ <> 監訳
著者標目リンク
鹿野, 桂一郎||シカノ, ケイイチロウ <AU00271729>
件名標目等
証明 (数学)||ショウメイ (スウガク)
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
著者からさがす
*Friedman, Daniel P.
*Eastlund, Carl
鹿野, 桂一郎
件名からさがす
証明 (数学)
他大学資料確認
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
資料を取り寄せる
ILL複写依頼(コピー取り寄せ)
この書誌のQRコード