manaster,alfred b. <br/><br/>
completeness,compactness,and undecidability;an introduction to mathematical manaster,a. b. 

 - 1st.ed. | Englewood Cliff Prentice-Hall   1975