Where could I find a detailed exposition in *English* of Godel's proof (not Henkin's) of Completeness Theorem for first order logic? The [wikipedia article](https://en.wikipedia.org/wiki/Original_proof_of_G%C3%B6del%27s_completeness_theorem) omits certain details that I am not clear about, and Godel's original dissertation is not in English. 



Godel's proof of Completeness
In addition to an English translation of the original version contained in the Collected Works referred to by Andrés, there is an English translation of a rewritten version of the paper contained in *From Frege to Gödel* edited by Jean van Heijenoort. The latter is also contained in the Collected Works.


