Editing Decidability (logic) (section)

==References==

===Notes===
{{Reflist}}

===Bibliography===
* {{Citation | first1=Jon | last1= Barwise | authorlink = Jon Barwise | editor1-last=Barwise | editor1-first=Jon | chapter=Introduction to first-order logic | title=Handbook of Mathematical Logic | publisher=North-Holland | location=Amsterdam | series=Studies in Logic and the Foundations of Mathematics | isbn=978-0-444-86388-1 | year=1982}}
* {{Citation |last1=Cantone |first1=D. |first2=E. G. |last2=Omodeo |first3=A. |last3=Policriti |title=Set Theory for Computing. From Decision Procedures to Logic Programming with Sets |publisher=Springer |series=Monographs in Computer Science |date=2013 |orig-year=2001 |isbn=9781475734522 |pages= |url=https://books.google.com/books?id=KWvlBwAAQBAJ&pg=PR2}}
* {{Citation | last1=Chagrov | first1=Alexander | last2=Zakharyaschev | first2=Michael | title=Modal logic | publisher=Oxford University Press | series=Oxford Logic Guides | isbn=978-0-19-853779-3 | mr=1464942 | year=1997 | volume=35}}
* {{Citation | last1=Davis | first1=Martin | author1-link=Martin Davis (mathematician) | title=Computability and Unsolvability | publisher=Dover |isbn=9780486151069 |date=2013 |orig-year=1958 |url=https://books.google.com/books?id=nbOqAAAAQBAJ&pg=PP1}}
* {{Citation | last1=Enderton | first1=Herbert | title=A mathematical introduction to logic | publisher=[[Academic Press]] | edition=2nd | isbn=978-0-12-238452-3 | year=2001}}
* {{Citation | first1= H. J. | last1= Keisler | authorlink = H. J. Keisler | editor1-last=Barwise | editor1-first=Jon | chapter=Fundamentals of model theory | title=Handbook of Mathematical Logic | publisher=North-Holland | location=Amsterdam | series=Studies in Logic and the Foundations of Mathematics | isbn=978-0-444-86388-1 | year=1982}}
* {{Citation | last1=Monk | first1=J. Donald | title=Mathematical Logic | publisher=[[Springer-Verlag]] |date=2012 |isbn=9781468494525 |orig-year=1976}}

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

{{DEFAULTSORT:Decidability (Logic)}}
[[Category:Proof theory]]
[[Category:Metalogic]]
[[Category:Concepts in logic]]