Frege and Gödel;  two fundamental texts in mathematical logic/ 
Jean Van Heijenoort. 
 - Cambridge, Mass.:  Harvard University Press,  1970. 
 - 116 p.:  illus.,  26 cm. 
<br/><br/> "These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931." 
<br/><br/>Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116) 
<br/><br/><label>ISBN: </label>0674318447 
<br/><br/><label>LCCN: </label>71116736 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Mathematics---Philosophy.
<br/><br/><label>Dewey Class. No.: </label>511.3  / F858