The Writing of Introduction to Metamathematics
Stephen Cole Kleene · Birkhäuser Boston eBooks · 2008
It was suggested that I talk here on the writing of my book Introduction to Metamathematics (IM). These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.