感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて-インターネットで予約するには」をご覧ください。

蔵書情報

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

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

書誌情報サマリ

書名

シオンズ・フィクション イスラエルSF傑作選  (竹書房文庫)

著者名 シェルドン・テイテルバウム/編 エマヌエル・ロテム/編 中村融/[ほか]訳
出版者 竹書房
出版年月 2020.10
請求記号 929/00665/


この資料に対する操作

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

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


登録する本棚ログインすると、マイ本棚が利用できます。


資料情報

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

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 徳重4630688895一般和書一般開架 在庫 

関連資料

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

書誌詳細

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

請求記号 929/00665/
書名 シオンズ・フィクション イスラエルSF傑作選  (竹書房文庫)
著者名 シェルドン・テイテルバウム/編   エマヌエル・ロテム/編   中村融/[ほか]訳
出版者 竹書房
出版年月 2020.10
ページ数 718p
大きさ 15cm
シリーズ名 竹書房文庫
シリーズ巻次 て2-1
ISBN 978-4-8019-2410-9
分類 929733
一般件名 小説(イスラエル)-小説集
書誌種別 一般和書
内容紹介 知られざるイスラエルSFの世界を一望の中に収める傑作集。ケレン・ランズマン「アレキサンドリアを焼く」、ニル・ヤニヴ「信心者たち」、エレナ・ゴメル「エルサレムの死神」など、短編全16編を収録。
タイトルコード 1002010051183

目次 論理の記号化
命題論理の考え方
意味論的諸概念
論理式の標準形
タブロー法
命題論理の演繹体系
命題論理の自然演繹
述語論理の考え方
述語論理の意味論
述語論理の演繹体系
完全性定理
付録 数学的予備知識
著者情報 高崎 金久
 1956年、石川県生まれ。近畿大学理工学部教授。専門は代数解析学と数理物理学で、特に長年にわたって可積分系を追求しているが、最近は組合せ論的構造にも関心を持っている(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表:

前のページへ

本文はここまでです。


ページの終わりです。