Intuitionistic type theory

Intuitionistic type theory

フォーマット:
図書
責任表示:
Per Martin-Löf
本文言語:
英語
説明:
91 p.; 24 cm
出版情報:
Napoli, Italy. c1984. Bibliopolis
シリーズ:
Studies in proof theory : lecture notes; 1
本文を見る
所蔵情報
Loading availability information

類似資料:

7
Measure theory by Halmos, P. R.
2
Set theory by Kuratowski, Kazimierz, 1896-; Mostowski, Andrzhei︠a︡
8
General theory by Loos, Ottmar
3
Set theory by 中野, 秀五郎
9
General theory by Dunford, Nelson; Schwartz, Jacob T.
4
Set theory by Hausdorff, Felix, 1868-1942; Aumann, John R.
10
Dimension theory by Hurewicz, Witold, 1904-1956; Wallman, Henry, 1915-
5
Cohomology theories by Dyer, Eldon, 1929-
11
Foundations of set theory by Fraenkel, Abraham Adolf, 1891-1965; Bar-Hillel, Yehoshua
6
Dimension theory by 永見, 啓応
12
Elements of set theory by Zehna, Peter W.; Johnson, Robert L.
2.
Set theory by Kuratowski, Kazimierz, 1896-; Mostowski, Andrzhei︠a︡
3.
Set theory by 中野, 秀五郎
4.
Set theory by Hausdorff, Felix, 1868-1942; Aumann, John R.
5.
Cohomology theories by Dyer, Eldon, 1929-
6.
Dimension theory by 永見, 啓応
7.
Measure theory by Halmos, P. R.
8.
General theory by Loos, Ottmar
9.
General theory by Dunford, Nelson; Schwartz, Jacob T.
10.
Dimension theory by Hurewicz, Witold, 1904-1956; Wallman, Henry, 1915-
11.
Foundations of set theory by Fraenkel, Abraham Adolf, 1891-1965; Bar-Hillel, Yehoshua
12.
Elements of set theory by Zehna, Peter W.; Johnson, Robert L.