商品詳細 | Knowledge Worker

Categorical Logic and Type Theory(Studies in Logic and the Foundations of Mathematics Vol.141) H 778 p. 99

絶版
価格 \58,381（税込）

この商品について問合せる

発行年月	1999年01月
出版社／提供元	Elsevier Science B.V.
出版国	オランダ
言語	英語
媒体	冊子
装丁	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.

Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.

カート

カートに商品は入っていません。

前のページに戻る