From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
Oxford Logic Guides #48

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

Laura Crosilla , Peter Schuster
まだ評価がありません
Jan 10, 2010 · 英語 · 電子書籍 (350 ページ)
棚に追加

この本を評価する

ブックジャーナルをエクスポート

本の詳細

形式 電子書籍
ページ数 350
言語 英語
公開されました Jan 10, 2010
出版社 Oxford University Press, USA
ISBN-10 1280754036
ISBN-13 9781280754036

説明

This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more s

ジャンル

科学＆技術
棚に追加

この本を評価する

ブックジャーナルをエクスポート