History of Entscheidungsproblem

	Revision 11 . . (edit) October 21, 2001 4:09 pm by AxelBoldt [link]
	Revision 9 . . August 26, 2001 9:41 pm by AxelBoldt [add complete citation for Church's and Turing's results]
	Revision 6 . . (edit) August 15, 2001 7:37 pm by (logged).128.164.xxx

---

Difference (from prior major revision) (no other diffs)
No diff available.