Blank Cover Image

数理論理学とタイプ理論 : 証明による真理へ

フォーマット:
図書
責任表示:
Peter B. Andrews [著] ; 小川原倫子訳
言語:
日本語
出版情報:
東京 : 丸善, 1987.12
形態:
xv, 316p ; 22cm
著者名:
書誌ID:
BN01734763
ISBN:
9784621032244 [4621032240]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門

内井, 惣七(1943-)

ミネルヴァ書房
7 図書 現代数理論理学序説

古森, 雄一(1947-), 小野, 寛晰(1942-)

日本評論社
2 図書 数理論理学 = Mathematical logic

戸次, 大介(1973-)

東京大学出版会
8 図書 数理論理学 : 数学的理論の論理的構造

前原, 昭二(1927-1992)

培風館
3 図書 数理論理学入門

入江, 盛一(1911-)

培風館
9 図書 数理論理学 : 使い方と考え方 : 超準解析の入口まで

江田, 勝哉(1946-)

内田老鶴圃
4 図書 数理論理学 : 語の問題

竹内, 外史(1926-)

培風館
10 図書 日本語から記号論理へ

斎藤, 正彦(1931-)

日本評論社
5 図書 数理論理学入門

角田, 譲(1946-)

朝倉書店
11 図書 数学と論理

難波, 完爾(1939-)

朝倉書店
6 図書 初歩からの数理論理

Stoli︠a︡r, A. A. (Abram Aronovich), 保坂, 秀正, 山崎, 昇(1930-)

大竹出版
12 図書 記号論理学

Novikov, P. S. (Petr Sergeevich), 石本, 新(1917-)

東京図書