1. S.A. Morris, Topology Without Tears, Online e-book (2007)
2. S.C. Kleene, Introduction to metamathematics, North-Holland (1959). ISBN-13: 978-0923891572
3. M. Hazewinkel, Axiomatic method, Encyclopedia of Mathematics (Springer, Berlin, 2001). ISBN 978-1-55608-010-4
4. R. Haag, D. Kastler, An algebraic approach to quantum field theory, J. Math. Phys. 5, 848 (1964)
5. G.F. Simmons, Introduction to Topology and Modern Analysis (McGraw Hill Book Company, New York, 1968) p.144. ISBN 0-89874-551-9