Blank Cover Image
所蔵情報QRコード

数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳

資料種別:
図書
出版情報:
東京 : 丸善, 1987.12
形態:
xv, 316p ; 22cm
著者名:
ISBN:
9784621032244 [4621032240]
書誌ID:
BN01734763
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方

山田, 俊行

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

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

コロナ社
2 図書 現代数理論理学入門

Crossley, John N., 1937-, 田中, 尚夫(1928-)

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

鹿島, 亮

朝倉書店
3 図書 現代数理論理学入門

Crossley, John N., 1937-, 田中, 尚夫(1928-)

共立出版
9 図書 数理論理学 : 語の問題

竹内, 外史(1926-)

培風館
4 図書 数理論理学

福山, 克(1942-)

培風館
10 図書 数理論理学概説

白石, 光男

明玄書房
5 図書 数理論理学

林, 晋(1953-)

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

角田, 譲(1946-)

朝倉書店
6 図書 数理論理学

松本, 和夫(1922-)

共立出版
12 図書 数理論理学序説

前原, 昭二(1927-1992)

共立出版
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12