Publisher
Cambridge University Press (CUP)
Reference21 articles.
1. One hundred and two problems in mathematical logic
2. To Be is to be a Value of a Variable (or to be Some Values of Some Variables)
3. Degrees of unsolvability of constructible sets of integers;Putnam;Journal of Symbolic Logic,1968
4. A new proof of the Gödel incompleteness theorem;Notices of the American Mathematical Society,1989