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

by: Laura Crosilla · Peter Schuster

Hardcover

details (UK).
(see also: eBook (Kindle))

details (USA).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (Canada).
(see also: eBook (Kindle))

ISBN: 978-0-19-856651-9

ISBN-10: 0-19-856651-4

OUP Oxford · 2005