From Sets and Types to Topology and Analysis: Towards...

Main
Mathematics
From Sets and Types to Topology and...

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

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

Laura Crosilla, Peter Schuster

0 / 0

0 comments

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is up to date, highly topical and broad in scope.

კატეგორია:

Mathematics

წელი:

2005

გამომცემლობა:

Clarendon Press

ენა:

english

გვერდები:

371

ISBN 10:

1423753100