Turing recognizable and Turing-decidable. 我們什麼都不是吳浩康. Brief zweinstein pdf download. Casa de San Martín Mendoza.