プライム無料体験をお試しいただけます
プライム無料体験で、この注文から無料配送特典をご利用いただけます。
非会員 | プライム会員 | |
---|---|---|
通常配送 | ¥410 - ¥450* | 無料 |
お急ぎ便 | ¥510 - ¥550 | |
お届け日時指定便 | ¥510 - ¥650 |
*Amazon.co.jp発送商品の注文額 ¥3,500以上は非会員も無料
無料体験はいつでもキャンセルできます。30日のプライム無料体験をぜひお試しください。
新品:
¥31,013¥31,013 税込
ポイント: 310pt
(1%)
無料配送
発送元: Amazon.co.jp 販売者: Amazon.co.jp
新品:
¥31,013¥31,013 税込
ポイント: 310pt
(1%)
無料配送
発送元: Amazon.co.jp
販売者: Amazon.co.jp
中古品: ¥21,523
中古品:
¥21,523

無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。
ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。
携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59) ハードカバー – 1999/5/13
英語版
Paul Taylor
(著)
{"desktop_buybox_group_1":[{"displayPrice":"¥31,013","priceAmount":31013.00,"currencySymbol":"¥","integerValue":"31,013","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"UMRvztXBZZ55PXXhoC9KaJQhQ4SK5HOxm0cx0%2Bxn4WpEl0hGwKUGsAOrNSPMCHRFxFoIFgyhBCWrLH0WpPYsbZJjwtbz%2FhXQAv9W6iIfnotqD5PvgaYZe4klLEK2kRVq","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}, {"displayPrice":"¥21,523","priceAmount":21523.00,"currencySymbol":"¥","integerValue":"21,523","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"UMRvztXBZZ55PXXhoC9KaJQhQ4SK5HOxw%2BvLoSN3UvAb49Bo14ozOnoRvX2UF4T9OGU0iN5UKcOogBKcnKGOSLAcLvNytcrfpsK5VCLAa4mzGsMEvbxg%2F7naOKwjwnkOk8epMOgkFE72h4wqKjVXMBYEcSNzgT4rShEAfmw6y49F7qJsRNTSqw%3D%3D","locale":"ja-JP","buyingOptionType":"USED","aapiBuyingOptionIndex":1}]}
購入オプションとあわせ買い
Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
- 本の長さ588ページ
- 言語英語
- 出版社Cambridge University Press
- 発売日1999/5/13
- 寸法16.51 x 3.18 x 24.13 cm
- ISBN-100521631076
- ISBN-13978-0521631075
この商品を買った人はこんな商品も買っています
ページ 1 以下のうち 1 最初から観るページ 1 以下のうち 1
商品の説明
レビュー
Review of the hardback: 'This is a fascinating and rewarding book … each chapter has several pages of subtle, provocative and imaginative exercises. In summary, it is a magnificent compilation of ideas and techniques: it is a mine of (well-organised) information suitable for the graduate student and experienced researcher alike.' Roy Dyckhoff, Bulletin of the London Mathematical Society
登録情報
- 出版社 : Cambridge University Press (1999/5/13)
- 発売日 : 1999/5/13
- 言語 : 英語
- ハードカバー : 588ページ
- ISBN-10 : 0521631076
- ISBN-13 : 978-0521631075
- 寸法 : 16.51 x 3.18 x 24.13 cm
- Amazon 売れ筋ランキング: - 1,327,353位洋書 (洋書の売れ筋ランキングを見る)
- - 1,441位Mathematical Logic
- - 9,127位Professional & Technical Pure Mathematics
- - 40,024位Medical Books
- カスタマーレビュー:
著者について
著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。

著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
カスタマーレビュー
星5つ中5つ
5つのうち5つ
2グローバルレーティング
評価はどのように計算されますか?
全体的な星の評価と星ごとの割合の内訳を計算するために、単純な平均は使用されません。その代わり、レビューの日時がどれだけ新しいかや、レビューアーがAmazonで商品を購入したかどうかなどが考慮されます。また、レビューを分析して信頼性が検証されます。