Logická výstavba eukleidovské geometrie : doplněk skripta z planimetrie pro posluchače PI - Vyšín, Jan, 1908-1983 (Státní pedagogické nakladatelství, 1963)