A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series - Fairouz D. Kamareddine - 書籍 - Springer - 9789048166398 - 2010年10月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Fairouz D. Kamareddine
A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 2004 edition

価格
¥ 20.996
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月30日 - 年12月10日
クリスマスプレゼントは1月31日まで返品可能です
Fairouz D. Kamareddine の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

374 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年10月22日
ISBN13 9789048166398
出版社 Springer
ページ数 374
寸法 156 × 234 × 19 mm   ·   526 g
言語 英語  

同じ出版社からのその他の記事

Fairouz D. Kamareddineのすべてを見る