サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

スマリヤン数理論理学 : 述語論理と完全性定理

Raymond Smullyan [著],高橋昌一郎 監訳,村上祐子 訳

詳細情報

タイトル スマリヤン数理論理学 : 述語論理と完全性定理
著者 Raymond Smullyan [著]
著者 高橋昌一郎 監訳
著者 村上祐子 訳
著者標目 Smullyan, Raymond M, 1919-2017
著者標目 高橋, 昌一郎, 1959-
著者標目 村上, 祐子, 1968-
出版地(国名コード) JP
出版地東京
出版社丸善出版
出版年月日等 2014.11
大きさ、容量等 196p ; 21cm
注記 原タイトル: Logical Labyrinthsの抄訳
注記 文献あり 索引あり
ISBN 9784621087855
価格 3000円
JP番号 22509367
トーハンMARC番号 33186096
別タイトル Logical Labyrinths
出版年(W3CDTF) 2014
件名(キーワード) 記号論理学
NDLC MA41
NDC(9版) 410.96 : 数学
原文の言語(ISO639-2形式) eng : English
対象利用者 一般
資料の種別 図書
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで