Van Heijenoort, Jean,  1912- <br/><br/>
Frege and Gödel;  two fundamental texts in mathematical logic. 

 - 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>LC Class. No.: </label>QA9  / .F88 1970 
<br/><br/><label>Dewey Class. No.: </label>164