Logic, Construction, Computation - Ontos Mathematical Logic - - 書籍 - De Gruyter - 9783110324532 - 2012年7月20日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Logic, Construction, Computation - Ontos Mathematical Logic

価格
¥ 35.680
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月16日 - 年6月26日

お客様の声：

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

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2012年7月20日
ISBN13 9783110324532
出版社 De Gruyter
ページ数 542
寸法 150 × 220 × 20 mm   ·   826 g
言語 ドイツ語  
編集者 Berger, Ulrich
編集者 Diener, Hannes
編集者 Schuster, Peter
編集者 Seisenberger, Monika

Mere med samme udgiver