Theory of computation - Sipser, Michael (Australia Course technology, 2007)
Bibliography p.333-36.
Keywords: Constructive mathematic -- Mathematical logic