[[1] Grzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261-279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi: 10.1007/978-3-319-20615-8_17.]Search in Google Scholar
[[2] H. Heuser. Lehrbuch der Analysis. B.G. Teubner Stuttgart, 1990.10.1007/978-3-322-94022-3]Search in Google Scholar
[[3] Steven H. Weintraub. Galois Theory. Springer Verlag, 2 edition, 2009.10.1007/978-0-387-87575-0]Search in Google Scholar
