Niet meer bestelbaar Manifolds, tensor analysis, and applications Abraham, r. marsden, j.e. raotiu, t.s.
Niet meer bestelbaar Constructivism in mathematics volume 1 studies in logic and the foundations of mathematics, vol 121 Troelstra, A.S.. Van Dalen, D.