Publication year
2005Author(s)
Publisher
Oxford : Oxford University Press
ISBN
0198566514
In
From Sets and Types to Topology and Analysis -- Towards Practicable Foundations for Constructive Mathematics, pp. 268-279Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Organization
Foundations
Book title
From Sets and Types to Topology and Analysis -- Towards Practicable Foundations for Constructive Mathematics
Page start
p. 268
Page end
p. 279
Subject
Oxford logic guides; FoundationsThis item appears in the following Collection(s)
- Academic publications [227244]
- Electronic publications [108530]
- Faculty of Science [34012]
- Open Access publications [77774]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.