Blank Cover Image
タイトル、所在を表示します

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

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方

山田, 俊行

森北出版
7 図書 数理論理学序説

前原, 昭二(1927-1992)

共立出版
2 図書 数理論理学

林, 晋(1953-)

コロナ社
8 図書 数理論理学序説

前原, 昭二(1927-1992)

共立出版
3 図書 数理論理学

福山, 克(1942-)

培風館
9 図書 数理論理学 = Mathematical logic

戸次, 大介(1973-)

東京大学出版会
4 図書 数理論理学

古川, 康一(1942-), 向井, 国昭

コロナ社
10 図書 数理論理学入門

入江, 盛一(1911-)

培風館
5 図書 数理論理学

鹿島, 亮

朝倉書店
11 図書 数理論理学入門

角田, 譲(1946-)

朝倉書店
6 図書 真理・証明・計算 : 論理と機械

内井, 惣七(1943-)

ミネルヴァ書房
12 図書 数理論理学 : 語の問題

竹内, 外史(1926-)

培風館