|
Intuitionistic Type Theory.(Studies in Proof Theory - Lecture Notes No. 1) xii, 92 p. 84
Martin-Löf, P.
著
発行年月 |
1984年01月 |
|---|
|
出版国 |
イタリア |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
xii, 92 p. |
|---|
|
|
ジャンル |
洋書／理工学／数学／数学基礎論 |
|---|
|
|
ISBN |
9788870881059 |
|---|
|
商品コード |
0208726075 |
|---|
|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0208726075 |
|---|
内容
Notes by G. Sambin of a series of lectures given in Padua
