静岡県立図書館蔵書検索・予約システム

このページは ○○○図書館の共通部分ページです。

メニューをスキップして本文へ移動します。

メニューをスキップして、本文へ移動します。

言語選択メニュー

文字サイズや言語を切り替えます。

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

現在のページの位置は

トップページ > 詳細検索 > 検索結果書誌一覧 > 検索結果書誌詳細

です。

機能を切り替えます。

かんたん検索いろいろ検索新着資料テーマ資料

マイライブラリー

いろいろ検索のメニューです。

ここから本文です。

検索結果書誌詳細

資料の切り替え

表示する資料を切り替えます。

蔵書情報

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

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

書誌情報サマリ

書名	スマリヤン記号論理学　　一般化と記号化
著者名	Raymond Smullyan／[著] 　高橋昌一郎／監訳　川辺治之／訳
著者名ヨミ	Raymond Smullyan　タカハシショウイチロウ　カワベハルユキ
出版者	丸善出版
出版年月	2013.1

書誌詳細

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

タイトル番号	1002000294658
書誌種別	和書
書名	スマリヤン記号論理学　　一般化と記号化
副書名	一般化と記号化
著者名	Raymond Smullyan／[著] 高橋昌一郎／監訳川辺治之／訳
書名ヨミ	スマリヤンキゴウロンリガク　イッパンカトキゴウカ
著者名ヨミ	Raymond Smullyan
出版者	丸善出版
出版地	東京
出版年月	2013.1
ページ数	7,150p
大きさ	21cm
価格	￥２４００
言語区分	日本語
ISBN	4-621-08572-1
ISBN13	978-4-621-08572-1
分類	410.96
件名	記号論理学
内容紹介	入門的な論理パズルから専門的な論理学に至る“架け橋”として執筆された、スマリヤンの「ロジカル・ラビリンス」第Ⅰ部および第Ⅱ部の翻訳書。記号論理学の大学院レベルの学期コースに相当する知識が身につく。

内容細目

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

No.	資料番号	所蔵館	請求番号	配架場所	資料種別	帯出区分	状態	貸出
1	0022468912	県立図書館	410.96/ｽﾏ/	書庫１	一般和書	貸可資料	在庫	○

マイ本棚へ追加ログインするとマイ本棚を利用できます。

関連資料

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

Raymond Smullyan　高橋昌一郎　川辺治之

1 / 5

【新書100冊　：　視野を広げる読書】

新書100冊　：　視野を広げる読書
高橋昌一郎／著

【情報を…行動経済学・統計学・情報学編】

情報を…行動経済学・統計学・情報学編
情報文化研究所／…

K理論
M.F.アティヤ…

【ボロバシュ数学の技法　：　メンフィ…】

ボロバシュ数学の技法　：　メンフィ…
B.ボロバシュ／…

パラドックス大図鑑
高橋昌一郎／監…

【みんなの圏論　：　演習中心アプロー…】

みんなの圏論　：　演習中心アプロー…
David I.…

圏論的量子力学
Chris He…

【情報を正しく選択するための認知バイ…】

情報を正しく選択するための認知バイ…
情報文化研究所／…

【20世紀論争史　：　現代思想の源泉】

20世紀論争史　：　現代思想の源泉
高橋昌一郎／著

【フォン・ノイマンの哲学　：　人間の…】

フォン・ノイマンの哲学　：　人間の…
高橋昌一郎／著

【ザ・ヒストリー科学大百科　：　写真…】

ザ・ヒストリー科学大百科　：　写真…
トム・ジャクソン…

自己分析論
高橋昌一郎／著

スマリヤン不完全性定理
Raymond …

パラドックス
マーガレット・カ…

【逆数学　：　定理から公理を「証明」…】

逆数学　：　定理から公理を「証明」…
ジョン・スティル…

組合せ数学
ロビン・ウィルソ…

【スマリヤン数理論理学講義下巻】

スマリヤン数理論理学講義下巻
レイモンド・M.…

無限
イアン・スチュア…

対称性　：　不変性の表現
Ian Stew…

【スマリヤン数理論理学講義上巻】

スマリヤン数理論理学講義上巻
レイモンド・M.…

量子プログラミングの基礎
Mingshen…

反オカルト論
高橋昌一郎／著

【Aha!ひらめきの幾何学　：　アル…】

Aha!ひらめきの幾何学　：　アル…
Tom M.Ap…

【ENIAC　：　現代計算技術のフロ…】

ENIAC　：　現代計算技術のフロ…
Thomas H…

ひとけたの数に魅せられて
マーク・チャンバ…

前へ次へ

2013

1 / 5

スケッチ・オブ・ミャーク
大西功一／製作…

【プロジェクトX　：　挑戦者たち　：…】

プロジェクトX　：　挑戦者たち　：…

【零戰　：　搭乗員たちが見つめた太平…】

零戰　：　搭乗員たちが見つめた太平…

【大阪夏の陣鳥羽伏見の戦い桶狭間…】

大阪夏の陣鳥羽伏見の戦い桶狭間…
菊池寛／著

【児童文学名作選　：　朗読版5 6】

児童文学名作選　：　朗読版5 6
小田島恭子／[…

【児童文学名作選　：　朗読版3 4】

児童文学名作選　：　朗読版3 4
石原みほ子／[…

【児童文学名作選　：　朗読版1 2】

児童文学名作選　：　朗読版1 2
佐藤遊歩／解説…

魔法をすてたマジョリン
浅利慶太／企画…

【オルシペスウォプ　：　アイヌのお話…】

オルシペスウォプ　：　アイヌのお話…

【プロジェクトX　：　…第10期【1】】

プロジェクトX　：　…第10期【1】

5つの名作集
ジュリオ・ジャン…

【夏祭浪花鑑　：　人形浄瑠璃文楽名演…】

夏祭浪花鑑　：　人形浄瑠璃文楽名演…

【冥途の飛脚　：　人形浄瑠璃文楽名演…】

冥途の飛脚　：　人形浄瑠璃文楽名演…

【映像で振り返る僕らの昭和　：…第6巻】

映像で振り返る僕らの昭和　：…第6巻
山根一眞／監修…

【映像で振り返る僕らの昭和　：…第5巻】

映像で振り返る僕らの昭和　：…第5巻
山根一眞／監修…

【映像で振り返る僕らの昭和　：…第4巻】

映像で振り返る僕らの昭和　：…第4巻
山根一眞／監修…

【映像で振り返る僕らの昭和　：…第3巻】

映像で振り返る僕らの昭和　：…第3巻
山根一眞／監修…

【映像で振り返る僕らの昭和　：…第2巻】

映像で振り返る僕らの昭和　：…第2巻
山根一眞／監修…

【映像で振り返る僕らの昭和　：…第1巻】

映像で振り返る僕らの昭和　：…第1巻
山根一眞／監修…

【思春期と性　：　変化する体と心】

思春期と性　：　変化する体と心

【無関心ではいけない!障害者の人権　…】

無関心ではいけない!障害者の人権　…

【わが国を守るために!　：　防衛省・…】

わが国を守るために!　：　防衛省・…

【髹漆　：　小森邦衞のわざ　：　平成…】

髹漆　：　小森邦衞のわざ　：　平成…

【色鍋島　：　Craft Techn…】

色鍋島　：　Craft Techn…
MURAYAMA…

【もっと知ろう発達障害シリ…VOL.6】

もっと知ろう発達障害シリ…VOL.6

前へ次へ

410.96　410.96

1 / 5

記号論理学
山本新／著,入…

【フレーゲ・ルネサンス　：　言語・論…】

フレーゲ・ルネサンス　：　言語・論…
野本和幸／著

【まるさんかく論理学　：　数学的セン…】

まるさんかく論理学　：　数学的セン…
野崎昭弘／著

幾何的モデル理論入門
板井昌典／著

【世界を満たす論理　：　フレーゲの形…】

世界を満たす論理　：　フレーゲの形…
荒畑靖宏／著

【スマリヤン数理論理学講義下巻】

スマリヤン数理論理学講義下巻
レイモンド・M.…

【はじめての数理論理学　：　証明を作…】

はじめての数理論理学　：　証明を作…
山田俊行／著

【スマリヤン数理論理学講義上巻】

スマリヤン数理論理学講義上巻
レイモンド・M.…

【情報理論のための数理論理学】

情報理論のための数理論理学
板井昌典／著

【証明と論理に強くなる　：　論理式の…】

証明と論理に強くなる　：　論理式の…
小島寛之／著

【万能コンピュータ　：　ライプニッツ…】

万能コンピュータ　：　ライプニッツ…
マーティン・デイ…

【スマリヤン数理論理学　：　述語論理…】

スマリヤン数理論理学　：　述語論理…
Raymond …

論理学入門
丹治信春／著

数理論理学
戸次大介／著

現代数理論理学序説
古森雄一／著,…

【数理論理学　：　使い方と考え方:超…】

数理論理学　：　使い方と考え方:超…
江田勝哉／著

日本語から記号論理へ
齋藤正彦／著

ろんりと集合
中内伸光／著

フレーゲ哲学の最新像
ダメット／[ほか…

工学系の論理数学入門
田中和明／著

【フレーゲ入門　：　生涯と哲学の形成】

フレーゲ入門　：　生涯と哲学の形成
野本和幸／著

【数学嫌いのためのコンピュータ論理学…】

数学嫌いのためのコンピュータ論理学…
マーティン・ディ…

【論理と代数の基礎　：　初めて学ぶ人…】

論理と代数の基礎　：　初めて学ぶ人…
硲文夫／著

【幾何的モデル理論入門　：　モデル理…】

幾何的モデル理論入門　：　モデル理…
板井昌典／著

フレーゲ著作集6
G.フレーゲ／著

前へ次へ

記号論理学

1 / 5

記号論理学
山本新／著,入…

【フレーゲ・ルネサンス　：　言語・論…】

フレーゲ・ルネサンス　：　言語・論…
野本和幸／著

計算理論と数理論理学
田中一之／著

【まるさんかく論理学　：　数学的セン…】

まるさんかく論理学　：　数学的セン…
野崎昭弘／著

【山の上のロジック学園　：　不完全性…】

山の上のロジック学園　：　不完全性…
田中一之／著,…

【世界を満たす論理　：　フレーゲの形…】

世界を満たす論理　：　フレーゲの形…
荒畑靖宏／著

【スマリヤン数理論理学講義下巻】

スマリヤン数理論理学講義下巻
レイモンド・M.…

【はじめての数理論理学　：　証明を作…】

はじめての数理論理学　：　証明を作…
山田俊行／著

「論理」を分析する
八木沢敬／著

記号論
吉田夏彦／著

【スマリヤン数理論理学講義上巻】

スマリヤン数理論理学講義上巻
レイモンド・M.…

【情報理論のための数理論理学】

情報理論のための数理論理学
板井昌典／著

【証明と論理に強くなる　：　論理式の…】

証明と論理に強くなる　：　論理式の…
小島寛之／著

【万能コンピュータ　：　ライプニッツ…】

万能コンピュータ　：　ライプニッツ…
マーティン・デイ…

【心の影　：　意識をめぐる未知の科…2】

心の影　：　意識をめぐる未知の科…2
ロジャー・ペンロ…

【心の影　：　意識をめぐる未知の科…1】

心の影　：　意識をめぐる未知の科…1
ロジャー・ペンロ…

【スマリヤン数理論理学　：　述語論理…】

スマリヤン数理論理学　：　述語論理…
Raymond …

論理学入門
丹治信春／著

数理論理学
戸次大介／著

現代数理論理学序説
古森雄一／著,…

【数理論理学　：　使い方と考え方:超…】

数理論理学　：　使い方と考え方:超…
江田勝哉／著

日本語から記号論理へ
齋藤正彦／著

数理神学を学ぶ人のために
落合仁司／著

ろんりと集合
中内伸光／著

フレーゲ哲学の最新像
ダメット／[ほか…

前へ次へ

前へ次へ

前のページへ

このページの先頭へトップページへ

本文はここまでです。

Copyright © Shizuoka Prefectural Central Library All Rights Reserved.

ページの終わりです。