検索結果書誌詳細

蔵書情報

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

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

書誌情報サマリ

書名

学んでみよう!記号論理 

著者名 高崎 金久/著
著者名ヨミ タカサキ カネヒサ
出版者 日本評論社
出版年月 2014.8


この資料に対する操作

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

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

  

この資料に対する操作

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


資料情報

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

No. 所蔵館 配架場所 資料種別 資料番号 請求記号 帯出区分 状態 貸出
1 中央館4F開架一般図書7010326616410.96/タカ/帯出可在庫 

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


書誌詳細

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

タイトルコード 1000000905101
書誌種別 図書
著者名 高崎 金久/著
出版者 日本評論社
出版年月 2014.8
ページ数 7,212p
大きさ 21cm
ISBN10 4-535-78760-5
ISBN13 978-4-535-78760-5
分類記号 410.96
書名 学んでみよう!記号論理 
書名ヨミ マナンデ ミヨウ キゴウ ロンリ
内容紹介 命題論理の考え方や意味論的諸概念、命題論理の演繹体系などを解説するほか、タブロー法、ハイティング代数、ヘンキンの定理の証明も紹介する。章末に練習問題を掲載。『数学セミナー』連載「記号論理の手習い」を加筆修正。
著者紹介 1956年石川県生まれ。近畿大学理工学部教授。著書に「可積分系の世界」「常微分方程式」「線形代数と数え上げ」など。



目次


内容細目

この資料に対する操作

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

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

  

この資料に対する操作

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


関連資料

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

2014
記号論理学
前のページへ

本文はここまでです。


ページの終わりです。