"Philosophical and Mathematical Correspondence" was published 13 years after Heijenoort's.

In response to Jay Miller's question below there is a book titled "Philosophical and Mathematical Correspondence. Gottlob Frege" that has 21 letters between Russell and Frege over a period of 10 years beginning with Russell's observation of his famous paradox in 1902. This wonderful collection of correspondence was published 20 years before "From Frege to Godel" and includes letters from many of the same mathematicians and logicians.

The second part of my review title may shock some, but the excellent collection of papers that Van Heijenoort has edited (and in many cases translated!) is also an excellent reference in the history of computing. Everyone appreciates that mathematical logic gave rise to computer science; the papers in this collection from Hilbert, Herbrand, Gödel, and others will show why.

If your interest is instead the history of logic, all the classics in the range specified by the work's title are here, complete with their own ideosyncratic notation. van Heijenoort's wonderful introductions to each piece will interelate the works, provide references to other literature and situate everything in a wonderful intellectual climate.

Be warned, however, that the foundational papers in this still growing field continue for another 15 years or so; these are reprinted in Davis' (alas, out of print) anthology _The Undecidable_.

This collection will keep you busy and wet your appetite for a sequel!

A summary of his statement on p. 125 on "Russell's Mathematical Logic" describes the "vicious circle principle: forbids a certain kind of circularity which is made responsible for the paradoxes. The fallacy in these, so it is contended, consists in the circumstance that one defines (or tacitly assumes) totalities, whose existence would entail the existence of certain new elements of the same totality, namely elements definable only in terms of the whole totality." This led to the formulation of a principle which says that "no totality can contain members definable only in terms of this totality, or members involving or presupposing this totality." (The vicious circle principle). (Also a "not applying to itself principle to keep the vicious circle principle from applying to itself p. 126

In describing Russell's theory of types he says, "The paradoxes are avoided by the theory of simple types which is combined with the theory of simple orders - a "ramified hierarchy""

Godel argues that the vicious circle principle is false rather than that classical mathematics is false.

p. 202 "A remark about the relationship between relativity theory and idealistic philosophy (1949a) (Note that this view supports my usual presentations in class on this!)

"The argument runs as follows: Change becomes possible only through the lapse of time. The existence of an objective lapse of time 4, however, means (or, at least, is equivalent to the fact) that reality consists of an infinity of layers of "now"

p. 203 which come into existence successively. But, if simultaneity is something relative in the sense just explained, reality cannot be split up into such layers in an objectively determined way. Each observer has his own set of "nows", and none of these various systems of layers can claim the prerogative of representing the objective lapse of time. 5"