J. Roger Hindley, «The Root-2 Proof as an Example of Non-constructivity», unpublished paper, September 2014, full text [Архівовано 23 жовтня 2014 у Wayback Machine.]
J. Roger Hindley, «The Root-2 Proof as an Example of Non-constructivity», unpublished paper, September 2014, full text [Архівовано 23 жовтня 2014 у Wayback Machine.]