Editing Decision problem (section)

== References ==
*{{cite book |first=D.C. |last=Kozen |title=Automata and Computability |publisher=Springer |date=2012 |isbn=978-1-4612-1844-9 |url=https://books.google.com/books?id=Vo3fBwAAQBAJ&q=%22decision+problem%22}}
*{{cite book |first=Rogers Jr |last=Hartley  |title=The Theory of Recursive Functions and Effective Computability |publisher=MIT Press |date=1987 |isbn=978-0-262-68052-3 }}
*{{cite book  |author-link=Michael Sipser |first=M. |last=Sipser |title=Introduction to the Theory of Computation |publisher=Cengage Learning |date=2020 |isbn=978-0-357-67058-3 }}
*{{cite book |first=Robert I. |last=Soare |title=Recursively Enumerable Sets and Degrees |publisher=Springer |date=1987 |isbn=0-387-15299-7 |url=https://books.google.com/books?id=9I7Pl00LU5gC&pg=PP1}}
*{{cite book |author-link=Daniel Kroening |first1=Daniel |last1=Kroening |first2=Ofer |last2=Strichman |author2-link=Ofer Strichman |title=Decision procedures |publisher=Springer |date= 23 May 2008|isbn=978-3-540-74104-6 |url=https://books.google.com/books?id=SaUywbXY9C8C&pg=PR1}}
*{{cite book |first1=Aaron |last1=Bradley |author2-link=Zohar Manna |first2=Zohar |last2=Manna |title=The calculus of computation |publisher=Springer |date= 3 September 2007|isbn=978-3-540-74112-1 |url=https://books.google.com/books?id=0MbX7xVpffAC&pg=PR2}}

{{Mathematical logic}}
{{Authority control}}

[[Category:Computational problems]]
[[Category:Computability theory]]