I am reading "Introduction to Metamathematics" by Steven Kleene, a classic book on computation and formal languages. It was first published in 1952 and is said to cover the breadth of the field of theoretical computer science before many subtopics were created.
Friday, May 9, 2008
Subscribe to:
Posts (Atom)
