| LC control no. | sh 85036191 |
|---|---|
| LC classification | QA9.65 |
| Topical heading | Decidability (Mathematical logic) |
| See also | Computable functions Gòˆdel's theorem Logic, Symbolic and mathematical Recursive functions |
 |  |  |