| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics | 978-O-19-856651-9 (O-19-856651-4) | 2005 | Peter Schuster |
L. C. · Larry Churchill · Laura Cargile · Laura Crossley · Laura Crosswell · LeRoy Creswell