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
 

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

大竹出版

戸次, 大介(1973-)

東京大学出版会

前原, 昭二(1927-1992)

培風館

入江, 盛一(1911-)

培風館

斎藤, 正彦(1931-)

日本評論社

竹内, 外史(1926-)

培風館

10 図書 数学と論理

難波, 完爾(1939-)

朝倉書店

角田, 譲(1946-)

朝倉書店

11 図書 記号論理学

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

東京図書

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

日本評論社

田中, 尚夫(1928-)

裳華房