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