>> Amazon.co.jp

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

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 数理論理学

鹿島, 亮

朝倉書店

入江, 盛一(1911-)

培風館

2 図書 数理論理学

松本, 和夫(1922-)

共立出版

竹内, 外史(1926-)

培風館

3 図書 数理論理学

林, 晋(1953-)

コロナ社

角田, 譲(1946-)

朝倉書店

4 図書 数理論理学

福山, 克(1942-)

培風館

坪井, 明人(1955-)

牧野書店, 星雲社 (発売)

前原, 昭二(1927-1992)

共立出版

板井, 昌典

共立出版

戸次, 大介(1973-)

東京大学出版会

前原, 昭二(1927-1992)

培風館