A selection of the writings of Wittgenstein in the philosophy of logic and mathematics written in the years 1937-1944. There is no concern with the foundations of mathematics in the sense of metamathematics nor in the sense of investigation of the possibility of providing secure axiomatic foundations for such notions as that of "set." Indeed, the original motives for these latter investigations are rejected; instead, a clarification of the grammar of mathematical propositions is sought. The author discusses the notions of (...) mathematical proof at length and attacks both the Russellian view that mathematics is an appendage of logic and Hilbert's program of proof-theory.--W. T. (shrink)