Logic of ruler and compass constructions. Beeson, M. In Cooper, S. B., Dawar, A., & Loewe, B., editors, Computability in Europe 2012, volume 7318, of Theoretical Computer Science and General Issues, pages 46-55, Berlin Heidelberg, 2012. Springer-Verlag.
Logic of ruler and compass constructions [pdf]Pdf  bibtex   5 downloads  

Downloads: 5