本文に飛ぶ
図書

帰納的関数 (共立講座現代の数学 ; 3)

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

帰納的関数(共立講座現代の数学 ; 3)

国立国会図書館請求記号
MA41-E16
国立国会図書館書誌ID
000001964804
国立国会図書館永続的識別子
info:ndljp/pid/13612008
資料種別
図書
著者
広瀬健 著
出版者
共立出版
出版年
1989.2
資料形態
紙・デジタル
ページ数・大きさ等
214p ; 22cm
NDC
410.9
すべて見る

資料詳細

要約等:

理工系の数学専攻の学生、計算機・情報処理の院生を対象にした帰納的関数の理論への本格的入門書。(提供元: 出版情報登録センター(JPRO))

書店で探す

目次

提供元:出版情報登録センター(JPRO)ヘルプページへのリンク
  • 第1章 序論

  • 第2章 帰納的関数と帰納的述語

  • 第3章 不完全性定理

  • 第4章 帰納的関数を定義する形式的体系

  • 第5章 算術的階層

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

関東

  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
図書
ISBN
4-320-01120-1
タイトル
タイトルよみ
キノウテキ カンスウ
著者・編者
広瀬健 著
シリーズタイトル
著者標目
広瀬, 健, 1935-1993 ヒロセ, ケン, 1935-1993 ( 00011564 )典拠
出版年月日等
1989.2
出版年(W3CDTF)
1989