Categorical Logic and Type Theory(Studies in Logic and the Foundations of Mathematics Vol.141) H 778 p. 99
Jacobs, B.
著
発行年月 |
1999年01月 |
---|
|
出版国 |
オランダ |
---|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
装丁 |
hardcover |
---|
|
ページ数/巻数 |
778 p. |
---|
|
|
ジャンル |
洋書 |
---|
|
|
ISBN |
9780444501707 |
---|
|
商品コード |
0209906053 |
---|
|
|
|
本の性格 |
学術書 |
---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209906053 |
---|
内容
This text attempts to give a systematic presentation of both logic andtype theory from a categorical perspective, using the unifying concept offibred category.