ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:NDLSH:数学基礎論
図書(6 件)
選択行を:
10件
20件
50件
資料名
所蔵館
責任表示
出版者
出版年
所在
1
記号論理学 ( 数理論理学と数学基礎論 : その序論的解説 ; 第1 )
花岡別館
ニーボン著, 安藤洋美訳
明治図書出版
1970
図書館別館2階
410.1/Nib
2
計算論 : 計算可能性とラムダ計算 ( コンピュータサイエンス大学講座 ; 24 )
花岡
高橋正子著
近代科学社
1991
図書館3階
410.9/Tak
3
数学基礎論 ( 数理論理学と数学基礎論 : その序論的解説 ; 第2 )
花岡別館
ニーボン著, 安藤洋美訳
明治図書出版
1970
図書館別館2階
410.1/Nib
4
数学論 : 数学的認識の本性
花岡
G.I.ルザービン著, 山崎三郎, 柴岡泰光訳
岩波書店
1977
岩崎文庫
410.1/Ruz/岩崎文庫
5
数理哲学 ( 数理論理学と数学基礎論 : その序論的解説 ; 第3 )
花岡別館
ニーボン著, 安藤洋美訳
明治図書出版
1970
図書館別館2階
410.1/Nib
6
論理と計算 ( 岩波講座応用数学[ 基礎 ; 11] )
花岡別館
萩谷昌己著
岩波書店
1993
図書館別館2階
501.1/Ama/3
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。